as-capabl / clay-dhall
C Layer for Dhall Language
☆15Updated 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
Sorting:
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- Existential type.☆37Updated 4 months ago
- ☆18Updated 4 years ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- Clean up the formatting of 'show' output☆21Updated 8 months ago
- Dhall, formalised in Agda☆10Updated 5 years ago
- ☆30Updated 4 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- High-performance JSON parser☆26Updated last year
- ☆29Updated 3 months ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Keep your laziness in check!☆33Updated 2 years ago
- Convert stack projects to cabal.project + cabal.project.freeze☆25Updated last year
- A usable type system for call by push-value☆33Updated 5 years ago
- ☆49Updated last month
- Dependently-typed finite maps (partial dependent products)☆66Updated 3 months ago
- Build tool for ATS.☆41Updated 3 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Require that callers propagate `HasCallStack` constraints☆21Updated 4 months ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 9 months ago
- ICFP tutorial☆39Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago