Similar repositories to dysinger/agda-haskell-c-ffi-layer-cake:

• dysinger/agda-haskell-c-ffi-layer-cake github similar
• gibiansky/IHaskell github similar
• dagit/dagit.github.io github similar
• deviant-logic/hokeylog github similar
• ekmett/thrists github similar
• NicolasT/vector-simd github similar
• nh2/multishake github similar
• acowley/language-c github similar
• andrewthad/primitive-indexed github similar
• tel/hs-nanomsg github similar
• dolio/ww-fusion github similar
• acowley/EasyAudio github similar
• mpickering/hashtag-coerce github similar
• ku-fpg/diagrams-canvas github similar
• acowley/CLUtil github similar
• Gabriel439/Haskell-Free-Monads-Library github similar
• basvandijk/regional-pointers github similar
• nh2/network-house github similar
• edwinb/Eff github similar
• conal/ty github similar
• alphaHeavy/vacuum-tube github similar
• cscheid/plots github similar
• ekmett/hash github similar
• acowley/StorableMonad github similar
• bergey/hscache github similar
• GaloisInc/aterm-utils github similar
• DanBurton/coroutine-interfaces github similar
• idontgetoutmuch/Legendre github similar
• idontgetoutmuch/Leapfrog github similar
• byorgey/braids github similar
• Gabriel439/pipes-web github similar
• tel/h9 github similar
• trillioneyes/dyn-universe github similar
• kosmikus/kaleidoscope-regensburg github similar
• Gabriel439/Haskell-Pipes-Extras-Library github similar
• qnikst/distributed-process-zmq github similar
• DanBurton/MHask github similar
• kosmikus/servant-regensburg github similar
• Gabriel439/Haskell-Crunch-Library github similar
• Bodigrim/exp-pairs github similar