aaronlevin / free-http
An HTTP Client in Haskell Based on Free Monads
☆10Updated 9 years ago
Alternatives and similar repositories for free-http:
Users that are interested in free-http are comparing it to the libraries listed below
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- A fast globally unique variable supply with a pure API☆16Updated last year
- Haskell library for efficiently building up buffers☆26Updated 2 months ago
- The most complete prelude formed only from the "base" package☆29Updated last year
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 9 months ago
- ☆17Updated 2 years ago
- playing with hyperfunctions☆16Updated 3 years ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 4 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- Robust persistence for typed immutable data☆17Updated 8 years ago
- A RWS like monad without the slow writer stuff☆12Updated last year
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- A faster date and time library based on time☆47Updated last month
- ☆18Updated 2 years ago
- Haskell 2010 stream comonads☆22Updated 3 months ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated 6 months ago
- A type safe file path data structure.☆10Updated 8 years ago
- Flush system metrics to statsd☆26Updated 4 months ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 3 years ago
- ☆25Updated 8 years ago
- Interval Arithmetic☆27Updated last month
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago