Similar repositories to clf/celf:

• clf/celf github similar
• gibiansky/IHaskell github similar
• clf/lollimon github similar
• pixijs/pixi.js github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• tootsuite/mastodon github similar
• precog/quasar github similar
• shaunlebron/parinfer github similar
• clf/llf github similar
• ericfinster/opetopic github similar
• robsimmons/abbot github similar
• standardml/twelf github similar
• clf/ollibot github similar
• webyrd/linear-logic-multiset-rewriting github similar
• ericfinster/opetopes-in-agda github similar
• motemen/gore github similar
• aquynh/capstone github similar
• lkuper/lvar-examples github similar
• chrisamaphone/interactive-lp github similar
• chrisamaphone/celf-tutorial github similar
• LightAndLight/cbpv github similar
• chrisamaphone/ml-mukanren github similar
• ekmett/structs github similar
• acowley/LinearLogic github similar
• flavioc/meld github similar
• gelisam/category-syntax github similar
• chrisamaphone/lfinlf github similar
• ibrahimsag/rw github similar
• swift-nav/plover github similar
• bobatkey/algebraically-indexed-types github similar
• jozefg/miniprl github similar
• RedPRL/sml-typed-abts github similar
• lukemaurer/sequent-core github similar
• gergoerdi/tandoori github similar
• jff/TeLLer github similar
• paf31/purescript-smash github similar
• rowandavies/sml-cidre github similar
• boyland/twelf-library github similar
• bobatkey/sott github similar