Similar repositories to Odomontois/manatki-proofs:

• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• Odomontois/manatki-proofs github similar
• qnikst/meteor github similar
• vkazanov/linux-sys-programming-exercises github similar
• nqpz/futracer github similar
• robrix/isometry github similar
• clayrat/modal-types github similar
• edwinb/idris2-clibs github similar
• kangrongji/cubical-classics github similar
• clayrat/sequent-calc github similar
• xgrommx/agda-ecosystem github similar
• codehag/TwitchMonkey github similar
• sequents/code github similar
• razvan-flavius-panda/haskell-streamers github similar
• MaiaVictor/ultimate-calculus github similar
• mtt-lang/mtt-lang github similar
• bellissimogiorno/nominal github similar
• vehicle-lang/vehicle github similar
• frex-project/idris-frex github similar
• cblp/funlangs github similar
• evdenis/verker github similar
• anton-trunov/coq-lecture-notes github similar
• anton-trunov/csclub-coq-course-spring-2021 github similar
• fredefox/cat github similar
• tweag/guides github similar
• ImperialCollegeLondon/group-theory-game github similar
• edwinb/idris2-vim github similar
• felko/ton-lang github similar
• InitialTypes/Club github similar
• WasmCert/WasmCert-Coq github similar
• jonsterling/dreamtt github similar
• ChrisPenner/json-to-haskell github similar
• jappeace/cut-the-crap github similar
• conal/denotational-hardware github similar
• uds-psl/coq-library-undecidability github similar
• patrickt/fastsum github similar
• xgrommx/purescript-ecosystem github similar
• llelf/icfp2020-papers github similar
• sweirich/challenge github similar