Alternatives and similar repositories for clay-dhall

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

• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• haskellari / some
  Existential type.
  ☆37Updated 6 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆33Updated 2 years ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated 6 months ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆22Updated 2 years ago
• ocharles / dhall-agda
  Dhall, formalised in Agda
  ☆10Updated 5 years ago
• dhallix / nix-derivation
  ☆30Updated 4 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• schell / varying
  Continuously varying values, made easy :)
  ☆42Updated 5 years ago
• marseillebd / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆22Updated 3 weeks ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 10 months ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆18Updated 3 months ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated this week
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated last month
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 4 months ago
• phadej / boring
  Boring and Absurd types
  ☆17Updated 6 months ago
• Lysxia / metamorph
  Monomorphize polymorphic functions for testing
  ☆36Updated 8 years ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 3 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated 2 weeks ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆16Updated 2 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• composewell / fusion-plugin
  GHC plugin to make stream fusion more predictable
  ☆18Updated 4 months ago
• Lysxia / generic-data-surgery
  Surgery for generic data types
  ☆25Updated 4 years ago
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 4 years ago