Similar repositories to pigworker/Ohrid-Agda:

• pigworker/Ohrid-Agda github similar
• danistefanovic/build-your-own-x github similar
• gallais/agdARGS github similar
• hazelgrove/agda-popl17 github similar
• jonsterling/topos-theory-notes github similar
• ayberkt/Mini-TT github similar
• latticetheory/latticetheory.github.io github similar
• tel/values-computation github similar
• franleplant/frd-lisp github similar
• jonsterling/sml-pronominal-ml github similar
• ivan-m/transmogrify github similar
• dlicata335/cubicalexperiments github similar
• jozefg/concurrent-stack-with-helping github similar
• tomjaguarpaw/H2 github similar
• jonsterling/systems-study-notes github similar
• JasonGross/slow-coq-examples github similar
• gallais/agda-pretty-notgreedy github similar
• pigworker/BiF github similar
• jonsterling/agda-abt github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• hbasold/CoindDepTypes github similar
• scott-fleischman/docker-agda github similar
• brezal/the-power-of-pi github similar
• mpickering/impure-hygienic-combinators github similar
• jonsterling/agda-zipper-machine github similar
• crypto-agda/protocols github similar
• effectfully/blog github similar
• pigworker/LibAgda github similar
• sergei-romanenko/chapman-big-step-normalization github similar
• Toxaris/lift.pts github similar
• aronisstav/formal-trace-theory github similar
• RedPRL/sml-cats github similar
• SimonJF/IdrisNet github similar
• wspk/SimpleTypes github similar
• ezrosent/TAPL-idris github similar
• ezrosent/FLK-Semantics github similar
• clarus/coq-atm github similar
• ayberkt/abt github similar
• LightAndLight/unification github similar
• sordina/Types-and-Programming-Languages github similar