Similar repositories to david-christiansen/idris-interaction.rkt:

• david-christiansen/idris-interaction.rkt github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• vishesh/racketscript github similar
• david-christiansen/pudding-old github similar
• pixijs/pixi.js github similar
• tootsuite/mastodon github similar
• shaunlebron/parinfer github similar
• david-christiansen/racket-zippers github similar
• JohnWCartmell/Theory github similar
• ualib/ualib.github.io github similar
• ayberkt/sml-system-t github similar
• david-christiansen/tt-playground github similar
• L-TChen/MtacAR github similar
• stamourv/partial-evaluation-tutorial github similar
• coq-community/atbr github similar
• groupoid/anders github similar
• sorawee/racket-analysis github similar
• david-christiansen/todo-list github similar
• crypto-agda/crypto-agda github similar
• jwiegley/coq-lattice github similar
• pnwamk/tr-calc github similar
• gallais/typing-with-leftovers github similar
• scmu/foundations-harper github similar
• FrozenWinters/SbE github similar
• nbenton/coqdomains github similar
• maxsnew/modal-scheme github similar
• JohnReppy/compiling-pattern-guards github similar
• RedPRL/algaeff github similar
• jozefg/miniprl github similar
• julianhyde/morel github similar
• ToTal/total github similar
• dschepler/coq-sequent-calculus github similar
• deeglaze/Typed-Racket-SMT-type-checker github similar
• ct-gradual-typing/Papers github similar
• dboulytchev/miniKanren-coq github similar
• Zekt/Type-Embellishment github similar
• andrejbauer/what-is-algebraic-about-algebraic-effects github similar
• wilbowma/cic-redex github similar