Similar repositories to danr/hip:

• danr/hip github similar
• danr/awe github similar
• f-algebra/elea-phd github similar
• cpa/haskellcontracts-examples github similar
• tip-org/tools github similar
• danr/hipspec github similar
• eprover/eprover github similar
• 5outh/Bang github similar
• copumpkin/categories github similar
• GU-CLASP/TypedFlow github similar
• conal/talk-2018-essence-of-ad github similar
• nick8325/quickspec github similar
• pigworker/CS410-17 github similar
• idris-hackers/idris-mode github similar
• timvieira/justified-variables github similar
• agda/agda-categories github similar
• haskell-numerics/hmatrix github similar
• gregwebs/Shelly.hs github similar
• haskell-CI/haskell-ci github similar
• facebookincubator/retrie github similar
• agda/agda-stdlib github similar
• projectional-haskell/structured-haskell-mode github similar
• ghc-proposals/ghc-proposals github similar
• nick8325/quickcheck github similar
• snowleopard/alga github similar
• DanielG/ghc-mod github similar
• AccelerateHS/accelerate github similar
• cohomolo-gy/haskell-resources github similar
• haskell/stylish-haskell github similar
• chrisdone/intero github similar
• lexi-lambda/hackett github similar
• plfa/plfa.github.io github similar
• colah/ImplicitCAD github similar
• HoTT/book github similar
• ndmitchell/hlint github similar
• valderman/haste-compiler github similar
• idris-lang/Idris-dev github similar
• agda/agda github similar
• leanprover/lean github similar
• jaspervdj/hakyll github similar