andrewthad / serpentine
Haskell routes using dependent types
☆10Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for serpentine
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago
- Indexed Types☆13Updated 2 years ago
- A fast globally unique variable supply with a pure API☆16Updated last year
- Robust persistence for typed immutable data☆18Updated 8 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Updated 7 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Parse/unparse JSON with roundtrip invertible syntax descriptions.☆17Updated 5 years ago
- A cross-platform, cross-console way to handle echoing terminal input☆10Updated 3 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆16Updated last month
- ☆8Updated 3 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Vector builder☆15Updated 11 months ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 8 years ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- ListT done right☆15Updated last year
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Server Side Loading JSON☆11Updated 5 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Updated 8 years ago
- Flush system metrics to statsd☆26Updated 3 weeks ago
- A small in-terminal dungeon crawler written in Haskell☆11Updated 6 years ago
- http://www.stephendiehl.com/posts/generics.html☆12Updated 8 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 3 years ago
- Bidirectional mapping between two key types☆22Updated 6 months ago
- fast utf-8 character sets☆13Updated 3 weeks ago
- lazy promises☆27Updated 3 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago