Similar repositories to np/NomPa:

• UlfNorell/agda-cufp github similar
• np/NomPa github similar
• anchor/docker-build github similar
• effectfully/Categories github similar
• effectfully/Ouroboros github similar
• paf31/blog-source github similar
• effectfully/ECC github similar
• bobatkey/Forvie github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• WhereSoftwareGoesToDie/docker-haskell github similar
• ggreif/omega github similar
• np/names-for-free github similar
• parsonsmatt/modalities github similar
• crypto-agda/agda-nplib github similar
• agda/agda-assoc-free github similar
• xplat/agda-tactics github similar
• effectfully/Eff github similar
• AndrasKovacs/SemanticsWithApplications github similar
• pigworker/SSGEP-DataData github similar
• Blaisorblade/Agda-playground github similar
• sto0pkid/CategoryTheory github similar
• idris-hackers/idris-bot github similar
• philopon/helics github similar
• ezyang/lr-agda github similar
• kazu-yamamoto/witty github similar
• gergoerdi/universe-of-syntax github similar
• jonsterling/hs-abt github similar
• effectfully/random-stuff github similar
• 5outh/Molecule github similar
• hazelgrove/hazelnut-dynamics-agda github similar
• larrytheliquid/leveling-up github similar
• effectfully/Cubes github similar
• msp-strath/ZEUG github similar
• pigworker/Totality github similar
• wenkokke/AutoInAgda github similar
• pigworker/Bi71 github similar
• edwinb/Ivor github similar
• pigworker/Frank github similar
• effectfully/STLC github similar
• pigworker/EGTBS github similar