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