Similar repositories to copumpkin/vector-mmap:
copumpkin/vector-mmap
github
similar
gibiansky/IHaskell
github
similar
srijs/haskell-aws-dynamodb-conduit
github
similar
precog/quasar
github
similar
paulcc/xsaiga
github
similar
aavogt/DimMat
github
similar
taku0/purescript_fingertree
github
similar
sdiehl/ts
github
similar
copumpkin/rational
github
similar
jtobin/hasty-hamiltonian
github
similar
soimort/idris-commonmark
github
similar
conal/ty
github
similar
YoEight/stream
github
similar
relrod/tryidris-android
github
similar
copumpkin/java
github
similar
vincenthz/hs-unix-memory
github
similar
ekmett/thrists
github
similar
jtobin/speedy-slice
github
similar
purescript-node/purescript-node-readline
github
similar
kuribas/mfsolve
github
similar
jtobin/mighty-metropolis
github
similar
peterlefanulumsdaine/hott-limits
github
similar
gendx/ocaml-algebra
github
similar
ttuegel/sparse-linear
github
similar
adrienhaxaire/funfem
github
similar
ekmett/hybrid-vectors
github
similar
ekmett/sparse
github
similar
inc-lc/ilc-agda
github
similar
amsa/fallacy-hunter
github
similar
sellout/Idris-CPDT
github
similar
andyarvanitis/idris-cplusplus
github
similar
GaloisInc/ICryptol
github
similar
RobertHarper/hott-notes
github
similar
patperry/hs-linear-algebra
github
similar
spacekitteh/haskell-clifford
github
similar
amosr/limp
github
similar
domdere/fp-in-idris
github
similar
andriusstank/downhill
github
similar
bitonic/hakyll-agda
github
similar
glutamate/probably-baysig
github
similar