imalsogreg / dhalliaLinks
Dhall-configured inductive API definitions
☆24Updated 5 years ago
Alternatives and similar repositories for dhallia
Users that are interested in dhallia are comparing it to the libraries listed below
Sorting:
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- A monadic interface for DAG construction.☆24Updated 4 years ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 7 months ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Property based testing for Servant using Hedgehog☆19Updated 4 years ago
- Bidirectional JSON serialization☆40Updated 4 years ago
- Tasty meal of Dhall☆66Updated last year
- Keep your laziness in check!☆33Updated 2 years ago
- Dhall, formalised in Agda☆10Updated 5 years ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Derive instances through isomorphisms☆20Updated last year
- Literally the best anonymous records☆36Updated 2 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 5 months ago
- lazy generators with observation☆14Updated last year
- GHC prof manipulation script☆32Updated last year
- ☆21Updated 2 years ago
- Run HLint as part of normal compilation☆47Updated 6 years ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated last year
- Effectful Raw handler for Servant servers.☆16Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Structured logging solution.☆35Updated this week
- Run lifted IO operations asynchronously and wait for their results☆29Updated 7 months ago
- Overloaded plugin☆30Updated last year
- ☆24Updated 3 months ago
- Old and New GHC☆20Updated 2 years ago
- higher-kinded data☆30Updated 2 years ago