Similar repositories to forsyde/forsyde-shallow:
forsyde/forsyde-shallow
github
similar
gibiansky/IHaskell
github
similar
lukexi/pd-hs
github
similar
ywata/redmine-report
github
similar
silky/ihaskell-jupyter-dashboard-demo
github
similar
klntsky/haskell-holes-th
github
similar
metrix-ai/potoki
github
similar
mathandley/RTick
github
similar
ComputationWithBoundedResources/tct-trs
github
similar
yihming/aihaskell
github
similar
OpenModelica/MetaModelica.jl
github
similar
Ferdinand-vW/sessiontypes
github
similar
GregorySchwartz/fasta
github
similar
markus-git/hardware-edsl
github
similar
soenkehahn/graph-wrapper
github
similar
ishmandoo/cube_puzzle
github
similar
AndrasKovacs/singleton-nats
github
similar
markus-git/co-feldspar
github
similar
oisdk/semiring-num
github
similar
philzook58/fib-anyon
github
similar
mvr/at
github
similar
ghorn/Plot-ho-matic
github
similar
amosr/limp-cbc
github
similar
WebAssembly/wasi-parallel
github
similar
ekmett/compressed
github
similar
sadraddini/pypolycontain
github
similar
VERIMAG-Polyhedra/VPL
github
similar
ezyang/eff
github
similar
ekmett/nbe-in-java-19
github
similar
phadej/staged
github
similar
diagrams/active
github
similar
amosr/limp
github
similar
benjaminselfridge/propcheck
github
similar
alx741/graphite
github
similar
thoughtpolice/rv32-sail
github
similar
viperproject/axiom-profiler
github
similar
reactive-systems/syfco
github
similar
vmchale/hs-ats
github
similar
mitchellwrosen/haskell-papers
github
similar
VictorCMiraldo/generics-mrsop
github
similar