Similar repositories to markus-git/co-feldspar:
markus-git/co-feldspar
github
similar
gibiansky/IHaskell
github
similar
koengit/RealTesting
github
similar
markus-git/hardware-edsl
github
similar
GRACeFUL-project/haskelzinc
github
similar
sebfisch/stream-monad
github
similar
ku-fpg/remote-monad
github
similar
forsyde/forsyde-shallow
github
similar
rudymatela/speculate
github
similar
zw3rk/toolchain-wrapper
github
similar
nikhiljha/experiments
github
similar
emilaxelsson/imperative-edsl
github
similar
bennofs/haskell-generate
github
similar
fredefox/cat
github
similar
icicle-lang/icicle-ambiata
github
similar
vmchale/cpkg
github
similar
algebraic-graphs/agda
github
similar
nomeata/gipeda
github
similar
diagrams/diagrams-core
github
similar
project-oak/silveroak
github
similar
grin-compiler/haskell-code-spot
github
similar
BekaValentine/SimpleFP-v2
github
similar
qrilka/xlsx
github
similar
bmillwood/pointfree
github
similar
qfpl/hpython
github
similar
barrucadu/dejafu
github
similar
tweag/capability
github
similar
jameshaydon/lawvere
github
similar
DimaSamoz/mezzo
github
similar
khibino/haskell-relational-record
github
similar
nick8325/quickspec
github
similar
SamiPerttu/fundsp
github
similar
chrisdone/vado
github
similar
jtdaugherty/vty
github
similar
takenobu-hs/haskell-symbol-search-cheatsheet
github
similar
Gabriel439/slides
github
similar
willtim/Expresso
github
similar
SRI-CSL/yices2
github
similar
recursion-schemes/recursion-schemes
github
similar
black-parrot/black-parrot
github
similar