ocramz / aeson-schema
Haskell JSON schema validator and parser generator
☆60Updated last year
Related projects: ⓘ
- Tools for programming with ConstraintKinds in GHC☆71Updated 2 months ago
- Haskell: Supercharged anonymous records☆83Updated last year
- Containers for STM☆66Updated 4 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Serializable closures for distributed programming.☆65Updated 9 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 9 months ago
- Efficient conversion of values into Text☆38Updated 4 months ago
- A micro-benchmark that compares some Haskell serialization libraries☆43Updated 5 years ago
- Generic Programming using True Sums of Products☆156Updated 4 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Type-safe time units in Haskell☆49Updated 8 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Generate TypeScript definition files from your ADTs☆58Updated 5 months ago
- ☆55Updated 5 years ago
- A book about large-scale design in Haskell☆75Updated 9 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- Declare and access tuple fields with labels☆61Updated 5 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Ties the knot on data structures that reference each other by unique keys☆47Updated last month
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆93Updated last year
- All of `base` without the `Prelude` module☆44Updated last year
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 4 years ago
- GHC language extensions table☆49Updated 3 months ago
- A PureScript interpreter in Haskell☆118Updated 2 years ago
- Cron data structure and parser for Haskell☆53Updated last month
- Swagger 2.0 data model.☆74Updated 2 months ago
- tools for writing better type errors☆73Updated last year