as-capabl / clay-dhallLinks
C Layer for Dhall Language
☆15Updated 5 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:
- Clash implementation of the Compucolor II home computer☆32Updated 4 years ago
- More strongly typed variant of the ixset Haskell package☆26Updated 6 months ago
- JHC Haskell compiler split into reusable components☆18Updated last month
- Build tool for ATS.☆42Updated 3 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 7 years ago
- Existential type.☆37Updated last year
- Continuously varying values, made easy :)☆42Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last month
- Minimal binary serialization library with focus on performance☆25Updated 6 months ago
- ☆30Updated 5 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Updated 9 years ago
- A two-dimensional parser combinator library.☆42Updated 8 years ago
- GHC compiled against musl & uClibc☆42Updated last year
- Resin: high performance variable binder and ast manipulation lib☆13Updated 7 years ago
- ICFP tutorial☆39Updated 4 years ago
- ☆40Updated last year
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 6 years ago
- "operating system" based on the calculus of constructions☆18Updated 3 years ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- Keep your laziness in check!☆35Updated last month
- The https://ghc.dev Website Generator☆21Updated last year
- Haskell implementation of the KDL Document Language☆27Updated last month
- A usable type system for call by push-value☆33Updated 6 years ago
- ☆18Updated 4 years ago
- Automatically generated Nix expressions for Hackage☆20Updated this week
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 6 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆20Updated 4 years ago
- Tasty meal of Dhall☆67Updated 2 years ago
- Unpacked containers using backpack☆52Updated 5 years ago