Similar repositories to theoremprover-museum/imps:

• theoremprover-museum/imps github similar
• shaunlebron/parinfer github similar
• crypto-agda/protocols github similar
• effectfully/blog github similar
• pigworker/BiF github similar
• gallais/agdARGS github similar
• jgm/hscommonmark github similar
• HaskellMN/www.haskellmn.org github similar
• pigworker/Ohrid-Agda github similar
• wenkokke/unlit github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• mistupv/rev-erlang github similar
• sto0pkid/CategoryTheory github similar
• clayrat/idris-linear github similar
• ChristopherBiscardi/snap-for-beginners github similar
• theoremprover-museum/LCF77 github similar
• HoTT/M-types github similar
• jmchapman/Relative-Monads github similar
• gallais/typing-with-leftovers github similar
• DalekBaldwin/macrodynamics github similar
• guillaumebrunerie/initiality github similar
• jaspervdj/cabal-dependency-licenses github similar
• effectfully/STLC github similar
• pigworker/Bi71 github similar
• gallais/agda-presburger github similar
• idris-hackers/idris-sublime github similar
• serokell/foundry github similar
• BekaValentine/SimpleFP github similar
• pigworker/Pivotal github similar
• sequents/code github similar
• antitypical/Manifold github similar
• gergoerdi/icfp-bingo-2017-idris github similar
• vindaloo-thesis/idris-se github similar
• pedagand/MPRI-2.4-DTP github similar
• Twinside/FontyFruity github similar
• pigworker/TypesWhoSayNi github similar
• samuela/bidirectional-typing github similar
• bordaigorl/stargazer github similar
• LaifsV1/YUP github similar
• kofno/BasicLambda github similar