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:
- More strongly typed variant of the ixset Haskell package☆26Updated 4 months ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- Automatically generated Nix expressions of Stackage snapshots☆12Updated this week
- Build tool for ATS.☆42Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last year
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- Existential type.☆37Updated 11 months ago
- ☆30Updated 5 years ago
- JHC Haskell compiler split into reusable components☆18Updated 5 months ago
- Property based testing for Servant using Hedgehog☆19Updated 4 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- ICFP tutorial☆39Updated 4 years ago
- "operating system" based on the calculus of constructions☆18Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Continuously varying values, made easy :)☆42Updated 6 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- Minimal binary serialization library with focus on performance☆25Updated 5 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Clash implementation of the Compucolor II home computer☆32Updated 4 years ago
- Get your IO right on the first try☆55Updated last week
- Automatically generated Nix expressions for Hackage☆21Updated this week
- Data frames for Idris 2☆23Updated 2 years ago
- Easy entropy source for Haskell users.☆28Updated 11 months ago
- Haskell implementation of the KDL Document Language☆26Updated 3 weeks ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 7 years ago
- UI experiments for coda☆66Updated 4 years ago
- Funny little Haskell impl☆18Updated 5 years ago
- Tasty meal of Dhall☆67Updated 2 years ago
- ☆35Updated 7 years ago