patrickt / blimpLinks
an example airship app
☆14Updated 9 years ago
Alternatives and similar repositories for blimp
Users that are interested in blimp are comparing it to the libraries listed below
Sorting:
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Poor Richard's Memory Manager☆15Updated 4 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- QuickCheck extras.☆29Updated 6 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Hackage search engine☆56Updated 7 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- the (very humble) beginnings of a kafka client for haskell☆35Updated 7 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- An Ivory library inspired by Atom☆14Updated 8 years ago
- Transactional monadic actions on top of PostgreSQL.☆59Updated 3 years ago
- A docker container for compiling statically linked binaries written in Haskell☆26Updated 10 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated last week
- ☆23Updated 7 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Updated 8 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- ☆40Updated 7 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- library to manipulate git repositories in haskell (no bindings)☆50Updated 6 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 8 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 3 months ago
- Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)☆21Updated 9 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- A Smarter QuickCheck☆102Updated 8 years ago
- Haskell libraries for implementing OAuth2 servers.☆25Updated 10 years ago