Similar repositories to ranjitjhala/verified-instances:
ranjitjhala/verified-instances
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
alexandersgreen/MindWave
github
similar
MondayMorningHaskell/SimpleMaze
github
similar
hacoo/haskell-jps
github
similar
isovector/sandymaguire.me
github
similar
BioHaskell/hPDB-examples
github
similar
isovector/free-m32
github
similar
isovector/haskell-realtime-midi
github
similar
penrose/geometric-queries
github
similar
isovector/design-tools
github
similar
isovector/hs-vexflow
github
similar
flatironinstitute/nix-modules
github
similar
input-output-hk/stackage.nix
github
similar
adamwespiser/analytics
github
similar
haskoin/haskoin-node
github
similar
isovector/talks
github
similar
bgamari/linux-evdev
github
similar
isovector/circuitry
github
similar
mitchellwrosen/hspolls
github
similar
zfoh/zfoh.ch
github
similar
input-output-hk/hackage.nix
github
similar
BioHaskell/octree
github
similar
philzook58/fib-anyon
github
similar
isovector/reasonablypolymorphic.com
github
similar
BioHaskell/hPDB
github
similar
isovector/dynahaskell
github
similar
emilypi/nonempty-vector
github
similar
haskoin/haskoin-store
github
similar
isovector/sequoia
github
similar
jwiegley/c2hsc
github
similar
KerfuffleV2/haskell-polysemy-test
github
similar
typeclasses/typeclasses-projects
github
similar
Gabriel439/Haskell-Nix-Derivation-Library
github
similar
expipiplus1/vector-sized
github
similar
lkuper/lvar-examples
github
similar
OlivierSohn/hamazed
github
similar
cies/haskell-fractal
github
similar
gvolpe/exchange-rates
github
similar