dhall-lang / dhall-text
This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-text
☆21Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for dhall-text
- Use hpack's phrasing in dhall to write cabal files☆31Updated 2 months ago
- FoldMap lists☆12Updated last year
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆31Updated 2 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Extensible type-safe unions for Haskell☆32Updated 2 months ago
- van Laarhoven Free Monad with Extensible Effects☆24Updated 8 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated 6 months ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- A monadic DSL for simple configuration parsing☆24Updated last year
- A command-line tool for live monitoring☆25Updated 2 years ago
- Drive the Nix build system using the Dhall configuration language☆26Updated 6 years ago
- Operations on files and directories with typed paths☆30Updated 6 months ago
- List of interactive prompt helpers to pimp the UIs of your haskell programs☆12Updated last year
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 8 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- Keep your laziness in check!☆32Updated 2 years ago
- ☆45Updated 2 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- ☆24Updated 4 years ago
- ☆22Updated 7 years ago
- Ghosts of Departed Proofs☆60Updated 3 years ago
- Fuzzy string search in Haskell☆14Updated 10 months ago
- Old and New GHC☆21Updated last year
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago