Similar repositories to jonsterling/pi-forall:

• jonsterling/pi-forall github similar
• jberryman/zippo github similar
• conal/functor-combo github similar
• webcrank/webcrank.hs github similar
• idris-hackers/eff-tutorial github similar
• RobertHarper/hott-notes github similar
• machine-intelligence/provability github similar
• bobatkey/foveran github similar
• basvandijk/regions github similar
• r5v9/f3270 github similar
• FranklinChen/clojure-transducers-in-haskell github similar
• Gabriel439/Haskell-Pipes-Concurrency-Library github similar
• bjpop/haskell-mpi github similar
• UnkindPartition/monad-classes github similar
• UlfNorell/insane github similar
• slindley/effect-handlers github similar
• snapframework/io-streams github similar
• leepike/SmartCheck github similar
• andrejbauer/marshall github similar
• ilya-klyuchnikov/ttlite github similar
• egonSchiele/dominion github similar
• machine-intelligence/Botworld github similar
• simhu/cubical github similar
• boundary/fasttuple github similar
• mchakravarty/language-c-inline github similar
• coq-community/math-classes github similar
• mmirman/caledon github similar
• well-typed/generics-sop github similar
• commercialhaskell/lts-haskell github similar
• discus-lang/ddc github similar
• coreperf/rejit github similar
• eholk/Boot2Rust github similar
• Netflix/NfWebCrypto github similar
• haskell-unordered-containers/unordered-containers github similar
• UniMath/Foundations github similar
• nick8325/quickspec github similar
• HoTT/HoTT-Agda github similar
• fogus/lithp github similar
• Datomic/fressian github similar
• dmbarbour/Sirea github similar