Similar repositories to dhess/rabbit-scheme:

• dhess/rabbit-scheme github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• julianhyde/morel github similar
• prathyvsh/history-of-lambda-calculus github similar
• elpinal/subtyping-agda github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• hecrj/iced github similar
• Twey/agda-imp github similar
• 4y8/ski-in-asm github similar
• stevenbagley/metaii github similar
• border-patrol/resources github similar
• RichardMoot/LinearOne github similar
• osa1/mincaml github similar
• sebfisch/level-monad github similar
• joom/proof-tree-builder github similar
• RichardMoot/Grail0 github similar
• jdan/compiler.lean github similar
• Soldat/soldat github similar
• hmac/kite github similar
• evincarofautumn/hap-hs github similar
• CoqHott/DICoq github similar
• less-wrong/less-wrong github similar
• brightly-salty/inversify github similar
• barak/mit-scheme github similar
• gliboc/cast-machine github similar
• Kixiron/lsw github similar
• pdarragh/variadic-curry-calculus github similar
• jonsterling/lean4-sgdt github similar
• ballesta25/Morpheus github similar
• kckennylau/mathlib4 github similar
• Zekt/Type-Embellishment github similar
• jonsterling/agda-stc github similar
• sabauma/agda-relation-algebra github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• ziman/idris2-mlf github similar
• RobertHarper/hott-notes github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• slerpyyy/paste-lang github similar