Alternatives and similar repositories for dhall-dhall

Users that are interested in dhall-dhall are comparing it to the libraries listed below

• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated 9 months ago
• ocharles / dhallql
  Can we write a querying language with Dhall? Let's find out!
  ☆63Updated 6 years ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆28Updated 3 weeks ago
• isovector / same-same
  🤳 ignore the differences between `a` and `Identity a`
  ☆25Updated 6 years ago
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated 7 months ago
• chpatrick / codec
  Easy bidirectional serialization in Haskell
  ☆49Updated 6 years ago
• deepfire / nh
  Manage Nix Haskell override sets
  ☆11Updated 6 years ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆61Updated 4 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 4 years ago
• soenkehahn / generics-eot
  A library for generic programming that aims to be easy to understand
  ☆26Updated 5 months ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• ezyang / ghc-shake
  ghc --make reimplemented with Shake
  ☆32Updated last year
• ChrisPenner / unipatterns
  Helpers which allow safe partial pattern matching in lambdas
  ☆31Updated 4 years ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated last year
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆25Updated 4 years ago
• blitzcode / hackage-diff
  Compare the public API of different versions of a Hackage library
  ☆63Updated 7 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• kcsongor / symbols
  Symbol manipulation
  ☆36Updated 2 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 5 years ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated last week
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 4 years ago
• chrisdone-archive / webshow
  Show programming language printed values in a web UI
  ☆24Updated 6 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆30Updated 6 years ago
• sjoerdvisscher / one-liner
  Constraint-based generics
  ☆49Updated last year
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated 2 years ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆21Updated 4 years ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆34Updated 4 years ago