dhall-lang / dhall-text
This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-text
☆21Updated 6 years ago
Alternatives and similar repositories for dhall-text:
Users that are interested in dhall-text are comparing it to the libraries listed below
- Use hpack's phrasing in dhall to write cabal files☆31Updated 2 months ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- The Str signature and implementations☆21Updated 7 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Integration of the Warp webserver with Let's Encrypt☆18Updated 8 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- A faster date and time library based on time☆47Updated 2 months ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- ☆24Updated 4 years ago
- FoldMap lists☆12Updated 2 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated 3 months ago
- Tasty integration for the Hedgehog property testing library☆38Updated 4 months ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- high-resolution performance benchmarking☆26Updated last month
- An experiment in functional interface design☆23Updated 8 years ago
- A monadic DSL for simple configuration parsing☆25Updated last year
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 2 years ago
- Quickcheck Properties for common typeclasses☆35Updated 3 weeks ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- Drive the Nix build system using the Dhall configuration language☆26Updated 6 years ago
- Mark test cases as expected-failure☆22Updated 4 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Clean up the formatting of 'show' output☆21Updated 7 months ago
- ☆45Updated 3 years ago
- Kleene algebra, regular expressions☆32Updated last year
- GHC prof manipulation script☆32Updated last year
- Operations on files and directories with typed paths☆30Updated 2 months ago