Similar repositories to CakeML/pure:

• tuvtran/project-based-learning github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• k6io/k6 github similar
• prosyslab/pl-wiki github similar
• CakeML/pure github similar
• Ailrun/pile-of-characters github similar
• goldfirere/video-resources github similar
• gilith/opentheory github similar
• ekmett/nbe-in-java-19 github similar
• jmchapman/TT-in-TT github similar
• RedPRL/mugen github similar
• PureFunctor/purescript-uncurried-transformers github similar
• graninas/Pragmatic-Type-Level-Design github similar
• umazalakain/agda-bcam github similar
• snu-sf/promising-coq github similar
• mr-ohman/logrel-mltt github similar
• coq-community/autosubst github similar
• chshersh/dr-cabal github similar
• TiarkRompf/minidot github similar
• alhassy/next-700-module-systems github similar
• ekmett/linear-logic github similar
• haskell/ghcup-hs github similar
• haskell-infra/www.haskell.org github similar
• lampepfl/monadic-reflection github similar
• fumieval/Haskell-breaking-changes github similar
• edwinb/SPLV20 github similar
• llelf/icfp2020-papers github similar
• andreasabel/miniagda github similar
• LPCIC/coq-elpi github similar
• Mzk-Levi/texts github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• plt-amy/1lab github similar
• h0tk3y/kotlin-monads github similar
• martinescardo/TypeTopology github similar
• UlfNorell/agda-prelude github similar
• CMU-HoTT/scott github similar
• ChrisPenner/lens-regex-pcre github similar
• facebookincubator/hsthrift github similar
• andorp/order-taking github similar