Similar repositories to csgordon/cayenne:

• csgordon/cayenne github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• david-christiansen/epigram1 github similar
• gallais/typing-with-leftovers github similar
• snowleopard/graph-algebra github similar
• jonsterling/agda-abt github similar
• gmalecha/coq-interaction-trees github similar
• mietek/epigram2 github similar
• ayberkt/Mini-TT github similar
• sstucki/pts-agda github similar
• ivan-m/transmogrify github similar
• plt-hokusai/Rio github similar
• pixijs/pixi.js github similar
• aquynh/capstone github similar
• ayberkt/tinyrw github similar
• ayberkt/simplc github similar
• shaunlebron/parinfer github similar
• inanna-malick/hgit github similar
• elpinal/modules github similar
• RobertHarper/hott-notes github similar
• rossberg/mixml github similar
• adamgundry/type-inference github similar
• gallais/parseque github similar
• dbp/howtoproveacompiler github similar
• ziman/itt github similar
• crypto-agda/crypto-agda github similar
• dorchard/effects-as-sessions github similar
• david-christiansen/pudding-old github similar
• yav/presburger github similar
• neel-krishnaswami/linearml github similar
• aspiwack/peppermint-prover github similar
• larrytheliquid/uAgda github similar
• cmcl/franklyfrank github similar
• dorchard/effectful-explanations-talk github similar
• garrigue/certint github similar
• wilbowma/dissertation github similar
• rowandavies/sml-cidre github similar
• jonsterling/tt github similar
• iu-parfunc/popl18-lh-prover-artifact github similar