Similar repositories to thautwarm/RSolve:
thautwarm/RSolve
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
tuvtran/project-based-learning
github
similar
mstksg/wavelets
github
similar
aquynh/capstone
github
similar
seagreen/llvm-in-haskell
github
similar
LightAndLight/closure
github
similar
thautwarm/idris-cam
github
similar
gusbicalho/effects-toy
github
similar
minad/tasty-stats
github
similar
GaloisInc/cryptol-verifier
github
similar
GaloisInc/saw-core-what4
github
similar
ollef/incrementalism
github
similar
mathandley/RTick
github
similar
haskell-numerics/hmatrix-sundials
github
similar
brk/minuproto
github
similar
ranjitjhala/ghc-options
github
similar
tootsuite/mastodon
github
similar
lehins/MonadicParty2019
github
similar
Lysxia/coq-recursion-schemes
github
similar
meilisearch/MeiliSearch
github
similar
pixijs/pixi.js
github
similar
cocreature/robinhood
github
similar
bgamari/ghc-pretty-errors
github
similar
nwtgck/platy-lang-haskell
github
similar
knupfer/physics
github
similar
inanna-malick/hgit
github
similar
serras/cobalt
github
similar
travitch/dismantle
github
similar
treeowl/lazify
github
similar
thautwarm/idris-python
github
similar
andrewthad/bytehash
github
similar
alex-mckenna/optimum
github
similar
exosphere-lang/compiler
github
similar
Vigilans/hscc
github
similar
turboMaCk/aeson-combinators
github
similar
maybevoid/dabble
github
similar
andrewthad/primitive-indexed
github
similar