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:
- Existential type.☆37Updated 9 months ago
- JHC Haskell compiler split into reusable components☆18Updated 2 months 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
- Build tool for ATS.☆42Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 9 months ago
- Minimal binary serialization library with focus on performance☆25Updated 2 months ago
- GHC compiled against musl & uClibc☆42Updated 8 months ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- Single Page Web Applications in Idris☆25Updated 11 months ago
- More strongly typed variant of the ixset Haskell package☆25Updated last month
- Automatically generated Nix expressions for Hackage☆21Updated this week
- Haskell implementation of the KDL Document Language☆25Updated last month
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 4 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Clash implementation of the Compucolor II home computer☆32Updated 3 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- Jhc: Haskell Compiler☆38Updated 10 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆91Updated 3 weeks ago
- Unpacked containers using backpack☆52Updated 5 years ago
- Data frames for Idris 2☆23Updated 2 years ago
- Keep your laziness in check!☆34Updated 3 weeks ago
- Funny little Haskell impl☆18Updated 4 years ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 9 months ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- ☆30Updated 2 months ago
- ☆15Updated 4 years ago
- ☆18Updated 4 years ago