jaspervdj / websockets-snap
Snap integration for the websockets library
☆33Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for websockets-snap
- ☆39Updated 7 years ago
- A fast globally unique variable supply with a pure API☆16Updated last year
- ☆15Updated 7 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Make presentations for data types☆25Updated 3 years ago
- Transactional cache with configurable persistence☆48Updated last year
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Extends binary with parsec/attoparsec style parsing combinators☆26Updated 2 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 6 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- A Haskell client library for Cayley database graph☆14Updated 2 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆19Updated 8 years ago
- Authentication methods for Haskell web applications.☆34Updated last year
- The most complete prelude formed only from the "base" package☆28Updated last year
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- GHC prof manipulation script☆31Updated 9 months ago
- Tagged Haskell learning resources index☆22Updated 8 years ago
- Flush system metrics to statsd