Similar repositories to boyland/twelf-library:

• boyland/twelf-library github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• motemen/gore github similar
• jonsterling/TT-Reflection github similar
• matijapretnar/proofs github similar
• mikeshulman/hott-categories github similar
• RobertHarper/hott-notes github similar
• soimort/idris-commonmark github similar
• xuwei-k/iarray github similar
• Spivoxity/pprolog github similar
• aquynh/capstone github similar
• gpampara/scalaz-http-client github similar
• adelbertc/programming-in-idris github similar
• jonsterling/coq-meaning-explanation github similar
• stew/funlib github similar
• precog/quasar github similar
• danistefanovic/build-your-own-x github similar
• chrisamaphone/lfinlf github similar
• standardml/twelf github similar
• idris-hackers/eff-tutorial github similar
• jfdm/idris-xml github similar
• UnkindPartition/prover github similar
• sdiehl/picologic github similar
• motools/dbtune github similar
• nushio3/unittyped github similar
• pittsburgh-haskell/pittsburgh-haskell-logo github similar
• jpaykin/ControlHTT github similar
• acharal/yadlr github similar
• pigworker/Vole github similar
• dima-starosud/Dynamic github similar
• jonsterling/Agda-Sheaves github similar
• jgaltidor/twelf_tutorial github similar
• ptarau/PrologTutorial github similar
• bobatkey/sorting-types github similar
• ekmett/scheme-monads github similar
• carlos8f/cmmc github similar
• ynot-harvard/ynot github similar
• AnotherKamila/composing_fractals github similar