abailly / xxi-century-typed
Support code for talk 'XXIst century shall be typed or not be'
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for xxi-century-typed
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆16Updated last month
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Override instances used by Haskell's generic derivation☆30Updated 2 years ago
- Effectful Raw handler for Servant servers.☆16Updated 3 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Updated 2 years ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Memory-efficient representation of Unicode text strings☆22Updated 4 months ago
- Dhall support for directed graphs with labeled vertices☆19Updated 3 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Order theory☆23Updated last year
- ST with efficient exceptions☆20Updated 8 years ago
- Haskell data types and functions for countries☆26Updated 4 months ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Non-empty Vectors☆24Updated 5 months ago
- freer-effects wrapper for persistent queries☆12Updated 7 years ago
- ☆10Updated 10 months ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated 6 months ago
- Generate CircleCI config from `dhall` representations☆10Updated 6 years ago
- Pure Haskell client for the Mandrill JSON API☆17Updated last week
- Pure haskell implementation of macaroons☆14Updated 3 years ago
- Haskell Configuration Loader☆19Updated 2 weeks ago
- Library to integrate eta wai applications with servlet api☆18Updated 5 years ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Updated 5 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- ☆20Updated last year
- Plucky errors and exceptions☆20Updated 4 years ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- Golden tests for command-line interfaces.☆18Updated last year