Similar repositories to goldfirere/dependent-db:
goldfirere/dependent-db
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
ezyang/backpack-examples
github
similar
ReactTraining/react-router
github
similar
passy/optparse-text
github
similar
jfischoff/llvm-quasi
github
similar
GaloisInc/cryptol-verifier
github
similar
konn/checkerz
github
similar
GaloisInc/saw-core-what4
github
similar
haskell-numerics/hmatrix-sundials
github
similar
motemen/gore
github
similar
pixijs/pixi.js
github
similar
dmbarbour/haskell-lmdb
github
similar
shaunlebron/parinfer
github
similar
GaloisInc/saw-core-sbv
github
similar
michaelpj/hsmods-logic
github
similar
basvandijk/regional-pointers
github
similar
TerrorJack/ghc-bones
github
similar
conal/reify-core-examples
github
similar
conal/reification-rules
github
similar
mpilgrem/google-maps-geocoding
github
similar
lotz84/deep-learning-from-scratch
github
similar
mikeizbicki/vector-functorlazy
github
similar
snoyberg/docker-testing
github
similar
goldfirere/th-desugar
github
similar
vincenthz/hsco
github
similar
cocreature/llvm-hs-jit-external-lib
github
similar
mpickering/elaborator-reflection-haskell
github
similar
deech/webkitfltkhs
github
similar
input-output-hk/goblins
github
similar
isovector/design-tools
github
similar
dmwit/ordered-containers
github
similar
quchen/show-prettyprint
github
similar
serras/cobalt
github
similar
goldfirere/triptych
github
similar
edsko/friendly
github
similar
AccelerateHS/accelerate-fft
github
similar
GaloisInc/lean-haskell-bindings
github
similar
tweag/hyperion
github
similar