Similar repositories to ziman/itt:

• ziman/itt github similar
• minad/tasty-stats github similar
• danistefanovic/build-your-own-x github similar
• groupoid/anders github similar
• inanna-malick/hgit github similar
• robrix/Manifold github similar
• ayberkt/Mini-TT github similar
• elpinal/rain-ml github similar
• ezyang/groom github similar
• kwf/Presburger github similar
• NorfairKing/microsmos github similar
• mathandley/RTick github similar
• gibiansky/IHaskell github similar
• kosmikus/session-types-regensburg github similar
• jwiegley/simple-ltl github similar
• RobertHarper/hott-notes github similar
• LightAndLight/parametricity-proofs github similar
• kthielen/stlcc github similar
• srdqty/talc-3.0 github similar
• nobrakal/tungsten github similar
• LightAndLight/stg-llvm github similar
• ichistmeinname/free-proving github similar
• jdublu10/STLC-to-SKI github similar
• nikivazou/proof-combinators github similar
• schell/px-lang github similar
• elpinal/focused-modules github similar
• nau/depc github similar
• kwanghoon/polyrpc github similar
• Taneb/net github similar
• andrewthad/primitive-indexed github similar
• ayberkt/agda-brzozowski github similar
• cj-xu/GentzenTrans github similar
• YouyouCong/type-preserving-cps github similar
• dorchard/effectful-explanations-talk github similar
• nachivpn/nbe-stlc github similar
• LightAndLight/closure github similar
• wilbowma/infernalize github similar
• LightAndLight/cbpv github similar
• joom/idris-microKanren github similar
• csabahruska/game-logic-experiment github similar