Similar repositories to bgoodspeed/idris-benchmarks:
bgoodspeed/idris-benchmarks
github
similar
serokell/blog-posts
github
similar
bradrn/brassica
github
similar
mightybyte/reflex-2048
github
similar
csabahruska/demoscene
github
similar
haskell-cryptography/HsOpenSSL
github
similar
atzeus/type-aligned
github
similar
jonascarpay/visor
github
similar
haskellfoundation/volunteering
github
similar
mewhhaha/apecs-unity-tutorial-haskell
github
similar
circuithub/fast-downward
github
similar
cjdev/test-fixture
github
similar
cofree-coffee/cofree-bot
github
similar
wyager/HaSKI
github
similar
rblaze/haskell-dbus
github
similar
tchoutri/pg-entity
github
similar
haskell-text/text-display
github
similar
isovector/typecraft
github
similar
GaloisInc/parameterized-utils
github
similar
qnikst/okasaki
github
similar
blitzcode/neskell
github
similar
djv/VisualProf
github
similar
haskell-servant/example-servant-minimal
github
similar
chiroptical/declarative-programming-streams
github
similar
acowley/ffmpeg-light
github
similar
kowainik/membrain
github
similar
lambdacube3d/lambdacube-quake3
github
similar
jekor/hesh
github
similar
ku-fpg/blank-canvas
github
similar
ku-fpg/haskino
github
similar
cjdev/monad-mock
github
similar
flora-pm/flora-server
github
similar
kazu-yamamoto/quic
github
similar
GaloisInc/cereal
github
similar
luc-tielen/souffle-haskell
github
similar
haskell-hvr/missingh
github
similar
Holmusk/elm-street
github
similar
fpco/typed-process
github
similar
ekmett/gl
github
similar
jekor/vocabulink
github
similar