as-capabl / clay-dhall
C Layer for Dhall Language
☆14Updated 3 years ago
Alternatives and similar repositories for clay-dhall:
Users that are interested in clay-dhall are comparing it to the libraries listed below
- Existential type.☆36Updated 3 weeks ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Keep your laziness in check!☆32Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated last month
- Clean up the formatting of 'show' output☆21Updated 5 months ago
- ☆18Updated 3 years ago
- GHC plugin to make stream fusion more predictable☆17Updated 7 months ago
- More strongly typed variant of the ixset Haskell package☆24Updated 5 months ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- Dhall, formalised in Agda☆10Updated 5 years ago
- Library and utility for processing cabal's plan.json file☆39Updated last week
- Kleene algebra, regular expressions☆32Updated last year
- Require that callers propagate `HasCallStack` constraints☆21Updated last month
- reverse dependency build matrix generator☆33Updated 4 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Safe web routing in haskell☆30Updated last year
- High-performance JSON parser☆26Updated 8 months ago
- Nat, Fin, Vec☆24Updated 2 months ago
- ☆45Updated 3 years ago
- Maps using values' monoidal structure during merging☆42Updated last month
- Unpacked containers using backpack☆52Updated 4 years ago
- Efficient non-empty variants of containers data types, with full API☆25Updated 6 months ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- Generated migrations for beam databases☆20Updated 3 months ago
- Parse bytes fast☆24Updated 8 months ago
- ICFP tutorial☆39Updated 3 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Batteries-included structured logging library☆29Updated this week