Similar repositories to ericfinster/orchard:

• ericfinster/orchard github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• ericfinster/opetopic github similar
• pixijs/pixi.js github similar
• Eloston/ungoogled-chromium github similar
• RobertHarper/hott-notes github similar
• conal/circat github similar
• bobatkey/foveran github similar
• aquynh/capstone github similar
• edx/edx-platform github similar
• tootsuite/mastodon github similar
• dysinger/khartes github similar
• nebuta/d3js-haskell github similar
• JacquesCarette/pi-dual github similar
• idris-hackers/eff-tutorial github similar
• bgw/prelude.mk github similar
• ericfinster/opetopes-in-agda github similar
• dima-starosud/Dynamic github similar
• gdijkstra/hprop-erasibility github similar
• avieth/Algebraic github similar
• LeifW/online-typechecker github similar
• pigworker/Box github similar
• emilaxelsson/ho-rewriting github similar
• ttuegel/loops github similar
• rohitjha/DiMPL github similar
• runarorama/runarorama.github.com github similar
• julianhyde/morel github similar
• spire/spire github similar
• kmcallister/shqq github similar
• mikeizbicki/simd github similar
• ericfinster/catt github similar
• gelisam/category-syntax github similar
• LightAndLight/cbpv github similar
• jonsterling/TT-Reflection github similar
• chrisdone/present github similar
• atzeus/reflectionwithoutremorse github similar
• mvr/cf github similar
• edwinb/Eff-new github similar
• sellout/Idris-CPDT github similar