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