aaronlevin / free-httpLinks
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
Sorting:
- A simple XML module for Idris.☆13Updated 5 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- playing with hyperfunctions☆16Updated 4 years ago
- phantom types☆38Updated 4 months ago
- ☆17Updated 2 years ago
- A RWS like monad without the slow writer stuff☆12Updated last year
- Serialization primitives that work with both cereal and binary.☆23Updated 6 months ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- Flush system metrics to statsd☆26Updated last month
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- fast utf-8 character sets☆13Updated 3 months ago
- A natural transformation package☆16Updated 3 months ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- A fast globally unique variable supply with a pure API☆19Updated last year
- Fixed length vector for haskell☆21Updated 4 months ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 4 years ago
- A type safe file path data structure.☆10Updated 8 years ago
- Haskell library for efficiently building up buffers☆26Updated 4 months ago
- ☆25Updated 8 years ago
- An append only list in a compact region☆25Updated 6 years ago
- fast unique variables☆10Updated 3 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 6 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 7 months ago
- The most complete prelude formed only from the "base" package☆29Updated last year
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 7 months ago