Similar repositories to edwinb/Ivor:

• edwinb/Ivor github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• avsm/Ivor github similar
• RobertHarper/hott-notes github similar
• edx/edx-platform github similar
• k6io/k6 github similar
• shaunlebron/parinfer github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• edwinb/EpiVM github similar
• effectfully/Categories github similar
• effectfully/Ouroboros github similar
• effectfully/ECC github similar
• larrytheliquid/uAgda github similar
• bitonic/hakyll-agda github similar
• ggreif/omega github similar
• fpco/sift github similar
• elliottt/layout-rules github similar
• cocreature/llvm-hs-jit-external-lib github similar
• ermine-language/ermine-legacy github similar
• FranckS/RingIdris github similar
• jyp/topics github similar
• ericfinster/opetopic github similar
• gmittert/paradise github similar
• effectfully/Eff github similar
• favonia/homotopy github similar
• CategoricalData/HoTT-categories github similar
• avsm/EpiVM github similar
• paf31/Purity github similar
• effectfully/OTT github similar
• larrytheliquid/generic-elim github similar
• pigworker/Totality github similar
• zilberstein/system-fc-coq github similar
• jonsterling/agda-effectful-forcing github similar
• wenkokke/msla2014 github similar
• distrap/gcodehs github similar