nomeata / kaleidogen
Grow procedual art
☆36Updated 2 months ago
Related projects: ⓘ
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 10 months ago
- HLint as a GHC source plugin.☆31Updated 2 months ago
- Safe web routing in haskell☆30Updated last year
- Hackager tool for releasing Haskell packages to Hackage☆29Updated 3 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Beseder: make impossible state transitions impossible☆32Updated 4 years ago
- Haskell program configuration using higher kinded data☆29Updated 3 months ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Classes for types where we know all the values☆37Updated 4 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- ☆33Updated 7 months ago
- An efficient graph library for Haskell☆39Updated last month
- Simple reflection of expressions☆33Updated 3 years ago
- Extensible type-safe unions for Haskell☆31Updated last week
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Mark test cases as expected-failure☆21Updated 3 years ago
- Haskell time library focusing on performance☆54Updated last week
- Generic types and functions for encoding and decoding columns☆43Updated 6 months ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last month
- Building a calculator with Reflex-FRP☆10Updated 2 years ago
- ☆29Updated 4 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 3 months ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Automation of Haskell package release process.☆31Updated 10 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆22Updated 3 months ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- Ghosts of Departed Proofs☆60Updated 3 years ago
- UI experiments for coda☆65Updated 2 years ago