Similar repositories to gendx/ocaml-algebra:

• gendx/ocaml-algebra github similar
• gibiansky/IHaskell github similar
• jonsterling/sml-spreads github similar
• jonsterling/sml-kripke-schema github similar
• jonsterling/sml-abt github similar
• jonsterling/twelf-itt github similar
• jonsterling/ocaml-abt github similar
• precog/quasar github similar
• jonsterling/agda-nominal-sets github similar
• amintimany/OPLSS github similar
• copumpkin/vector-mmap github similar
• jonsterling/agda-abt github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• joom/regexp-agda github similar
• maxsnew/grammars-and-semantic-actions github similar
• joom/distributed-hash-table github similar
• UniMath/2006_03_Homotopy_lambda_calculus github similar
• jyp/sctt github similar
• gergoerdi/stlc-agda github similar
• jonsterling/sml-modernized-algol github similar
• jakebian/kan github similar
• david-christiansen/tt-playground github similar
• smimram/strid github similar
• DougBurke/astro-haskell github similar
• mietek/formal-logic github similar
• thsutton/cha github similar
• Twinside/svg-tree github similar
• RobertHarper/hott-notes github similar
• laurmcarter/type-combinators github similar
• Chocopy-LLVM/chocopy-llvm github similar
• purescript-web/purescript-web-html github similar
• osa1/MANTI github similar
• RedPRL/sml-typed-abts github similar
• hypotext/knotation github similar
• markokoleznik/agda-writer github similar
• willcrichton/rabbot github similar
• pseudonom/phantheck github similar
• vrahli/NuprlInCoq github similar
• bellissimogiorno/nominal github similar
• david-christiansen/pudding-old github similar