as-capabl / clay-dhallLinks
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:
- JHC Haskell compiler split into reusable components☆18Updated 3 weeks ago
- More strongly typed variant of the ixset Haskell package☆25Updated 2 weeks ago
- Build tool for ATS.☆42Updated 3 years ago
- Existential type.☆37Updated 7 months ago
- ICFP tutorial☆39Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Haskell to C compiler via Categorifier☆35Updated last year
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 8 months ago
- Data frames for Idris 2☆23Updated 2 years ago
- ☆30Updated 4 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- Clash implementation of the Compucolor II home computer☆31Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- pure type system language - henk 2000 ported to megaparsec, pretty☆21Updated 9 years ago
- ☆39Updated last year
- Command line interface library in Idris☆31Updated last year
- Minimal binary serialization library with focus on performance☆24Updated 3 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated this week
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…☆17Updated 2 years ago
- Cap'n Proto for Haskell☆96Updated 2 years ago
- ☆25Updated last year
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 4 years ago
- Haskell implementation of the KDL Document Language☆23Updated this week
- Types for ldtk☆15Updated last year