Similar repositories to LaifsV1/YUP:

• LaifsV1/YUP github similar
• danistefanovic/build-your-own-x github similar
• shaunlebron/parinfer github similar
• ReactTraining/react-router github similar
• gibiansky/IHaskell github similar
• thsutton/cha github similar
• bobatkey/sorting-types github similar
• RobertHarper/hott-notes github similar
• RedPRL/sml-typed-abts github similar
• andreasabel/strong-normalization github similar
• mietek/formal-logic github similar
• david-christiansen/epigram1 github similar
• pigworker/Bi71 github similar
• pixijs/pixi.js github similar
• tuvtran/project-based-learning github similar
• meilisearch/MeiliSearch github similar
• precog/quasar github similar
• bobatkey/sott github similar
• khanage/heineken github similar
• hkuplg/fcore github similar
• ericfinster/opetopic github similar
• phimuemue/lambdainterpreter_haskell github similar
• jozefg/miniprl github similar
• jozefg/register-alloc github similar
• Toxaris/pts github similar
• felipeperet/logic github similar
• elliottt/dang github similar
• dpiponi/SASL github similar
• scmu/foundations-harper github similar
• tel/intone github similar
• andreasabel/helf github similar
• nunchaku-inria/nunchaku github similar
• shachaf/ghc-core github similar
• david-christiansen/pudding-old github similar
• jaspervdj/cabal-dependency-licenses github similar
• pigworker/MetaprogAgda github similar
• zilberstein/system-fc-coq github similar
• ayberkt/sml-system-t github similar
• kyagrd/tiper github similar
• jstolarek/why-dependent-types-matter github similar