as-capabl / clay-dhall
C Layer for Dhall Language
☆14Updated 4 years ago
Alternatives and similar repositories for clay-dhall:
Users that are interested in clay-dhall are comparing it to the libraries listed below
- ☆30Updated 4 years ago
- Keep your laziness in check!☆32Updated 2 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Existential type.☆36Updated last month
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Clean up the formatting of 'show' output☆21Updated 6 months ago
- Generated migrations for beam databases☆20Updated 4 months ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- ☆18Updated 3 years ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- Library and utility for processing cabal's plan.json file☆39Updated last month
- ☆25Updated 5 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Continuously varying values, made easy :)☆40Updated 5 years ago
- High-performance JSON parser☆26Updated 9 months ago
- Dhall, formalised in Agda☆10Updated 5 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Safe web routing in haskell☆30Updated last year
- rewrite rules for type-level equalities☆62Updated 10 months ago
- Convert stack projects to cabal.project + cabal.project.freeze☆25Updated 11 months ago
- ⚖️ Trial Data Type☆20Updated last month
- Require that callers propagate `HasCallStack` constraints☆21Updated 2 months ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last week
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- ☆33Updated 9 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- ICFP tutorial☆39Updated 3 years ago