Popular repositories Loading

1. genCRN genCRN Public

   genCRN: Fast enumeration of non-isomorphic chemical reaction networks

   C 6 1

2. sti sti Public

   Session Types Inference tool

   Haskell 2

3. nauty nauty Public

   Forked from lonnen/nauty

   unofficial repository of nauty and traces, see the official site for the latest

   C 1 1

4. yasmit yasmit Public

   Java bytecode disassembler and StackMapTable (proof-carrying code) verifier, implemented in Haskell