Similar repositories to jerbaroo/disco:

• jerbaroo/disco github similar
• gibiansky/IHaskell github similar
• daig/microgroove github similar
• joom/distributed-hash-table github similar
• ejconlon/notate github similar
• mgajda/haskell-conll github similar
• quchen/shack github similar
• LightAndLight/imp github similar
• Gabriel439/sig github similar
• mathandley/RTick github similar
• danistefanovic/build-your-own-x github similar
• ReactTraining/react-router github similar
• sayon/coq-cata github similar
• argent0/haskell-ml-benchmark github similar
• haskell-works/hw-fingertree github similar
• tvh/ekg-wai github similar
• ezrosent/FLK-Semantics github similar
• ezrosent/TAPL-idris github similar
• gelisam/acme-circular-containers github similar
• ndmitchell/haskell-parser github similar
• qfpl/contravariant-functors-ylj-2018 github similar
• neilparikh/brick-todo github similar
• ahaym/boke-hs github similar
• istathar/hypersphere github similar
• ArturB/multilinear github similar
• Boarders/Fishy github similar
• freckle/freckle-app github similar
• mbg/ncc github similar
• parsonsmatt/performance-debugging github similar
• EliasKhoury/RRB-Trees-in-Haskell github similar
• DataHaskell/numhask-linear-algebra github similar
• jaredly/coqdocs github similar
• LogicTypesPrograms/LogicTypesPrograms github similar
• mkloczko/derive-storable github similar
• adinapoli/myo github similar
• jozefg/fibrational-semantics github similar
• lives-group/time-complexity-verification github similar
• iu-parfunc/popl18-lh-prover-artifact github similar
• tuura/selective-theory-agda github similar
• KolodeznyDiver/THEff github similar