Similar repositories to wimmers/munta:

• wimmers/munta github similar
• danistefanovic/build-your-own-x github similar
• ezrosent/FLK-Semantics github similar
• ezrosent/TAPL-idris github similar
• ticktac-project/tchecker github similar
• jaredly/coqdocs github similar
• lives-group/time-complexity-verification github similar
• NICTA/l4v github similar
• ReactTraining/react-router github similar
• sayon/coq-cata github similar
• Eloston/ungoogled-chromium github similar
• tuvtran/project-based-learning github similar
• ct-gradual-typing/Papers github similar
• scott-fleischman/docker-agda github similar
• brezal/the-power-of-pi github similar
• wspk/SimpleTypes github similar
• clarus/coq-atm github similar
• clayrat/idris-semidirect github similar
• Arthur-Milchior/MigthyL github similar
• msprotz/proof-search-monad github similar
• LogicTypesPrograms/LogicTypesPrograms github similar
• lambdaxymox/idris-nanoparsec github similar
• jozefg/fibrational-semantics github similar
• iu-parfunc/popl18-lh-prover-artifact github similar
• KolodeznyDiver/THEff github similar
• farkasrebus/XtaBenchmarkSuite github similar
• hjwylde/language-qux github similar
• ct-gradual-typing/Grady github similar
• scott-fleischman/agda-travis github similar
• epilys/ocaml-prolog github similar
• EgbertRijke/GraphModel github similar
• matterhorn-chat/aspell-pipe github similar
• pigworker/BiF github similar
• RyanGlScott/levitation github similar
• jonsterling/itt-bidirectional github similar
• dorchard/coeffects-experiments github similar
• yairchu/red-black-tree github similar
• vmchale/ats-benchmarks github similar
• howistart/howistart-hakyll github similar
• grebenyukaa/cmm-compiler-backend github similar