Beast code in Giters

Carlo Spaccasassi's repositories

genCRN: Fast enumeration of non-isomorphic chemical reaction networks

Language:CMIT6 3 2

Session Types Inference tool

Language:Haskell200

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

Language:CNOASSERTION1 10

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

000