Similar repositories to evertedsphere/how-to-implement-dependent-type-theory:

• evertedsphere/how-to-implement-dependent-type-theory github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• inanna-malick/hgit github similar
• thoughtpolice/asc github similar
• groupoid/anders github similar
• RobertHarper/hott-notes github similar
• proglang/ldgv github similar
• ucsd-progsys/mist github similar
• adjoint-io/galois-field github similar
• andgate/type-theory-compiler github similar
• kpavery/System-Fo github similar
• Lysxia/generic-recursion-schemes github similar
• effectfully/Cubes github similar
• benjaminselfridge/logix github similar
• GaloisInc/cryfsm github similar
• phadej/kleene github similar
• TOTBWF/omit-generics github similar
• tel/hotep github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• mpickering/hashtag-coerce github similar
• goldfirere/effects github similar
• jfaure/lfvm-stg github similar
• gergoerdi/tandoori github similar
• phadej/write-yourself-a-typed-functional-language github similar
• ekmett/compiler github similar
• LightAndLight/lambdapi github similar
• evertedsphere/sound-and-complete github similar
• neel-krishnaswami/linearml github similar
• omelkonian/rewrite-inspector github similar
• phadej/language-pts github similar
• ayberkt/simplc github similar
• ekmett/concurrent github similar
• llvm-hs/llvm-hs-typed github similar
• haskell-suite/haskell-tc github similar
• zehaochen19/vanilla-lang github similar
• DanBurton/system-f github similar