Similar repositories to sdiehl/cats:

• sdiehl/cats github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• Eloston/ungoogled-chromium github similar
• idris-hackers/idris-java-rts github similar
• dysinger/agda-haskell-c-ffi-layer-cake github similar
• ezyang/lr-agda github similar
• dysinger/khartes github similar
• ReactTraining/react-router github similar
• pixijs/pixi.js github similar
• msprotz/proof-search-monad github similar
• gelisam/commutative github similar
• langston-barrett/coq-big-o github similar
• rodrigogribeiro/agda-software-foundations github similar
• LeifW/online-typechecker github similar
• michaelpj/abstract-machine-debuggers github similar
• RyanGlScott/levitation github similar
• leftaroundabout/manifolds github similar
• LightAndLight/stg-llvm github similar
• grebenyukaa/cmm-compiler-backend github similar
• typesetters/p5-App-pandoc-preprocess github similar
• mpickering/impure-hygienic-combinators github similar
• agda/agda-assoc-free github similar
• elliottt/located github similar
• PaulGustafson/stringnet github similar
• SimonJF/IdrisNet github similar
• pigworker/Ohrid-Agda github similar
• lepoetemaudit/alpaca-repl github similar
• pigworker/Bi71 github similar
• ezyang/deepseq-magic github similar
• GaloisInc/LIMA github similar
• orca-lang/orca github similar
• serras/cat-theory-lambdaconf-wr-2017 github similar
• deepfire/nh github similar
• miniKanren/faster-miniKanren github similar
• renzyq19/pi-calculus github similar
• goldfirere/effects github similar
• haskell-haskey/haskey-btree github similar
• ga/haskell github similar