Alternatives and similar repositories for clay-dhall

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

• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆18Updated last week
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆26Updated 5 months ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 5 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆42Updated 3 years ago
• obsidiansystems / rhyolite
  ☆30Updated 3 months ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 5 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 7 years ago
• haskellari / some
  Existential type.
  ☆37Updated last year
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆49Updated last week
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• cartazio / resin
  Resin: high performance variable binder and ast manipulation lib
  ☆13Updated 7 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆27Updated last month
• NixOS / distribution-nixpkgs
  Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…
  ☆17Updated 3 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 3 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 6 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 6 years ago
• travitch / persistent-vector
  Persistent vectors for Haskell based on array mapped tries
  ☆28Updated 3 years ago
• schell / varying
  Continuously varying values, made easy :)
  ☆42Updated 6 years ago
• MarcelineVQ / idris2-elab-deriving
  implementation deriving for idris2
  ☆12Updated 4 years ago
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 5 years ago
• input-output-hk / stackage.nix
  Automatically generated Nix expressions of Stackage snapshots
  ☆12Updated this week
• UlfNorell / insane
  Toy typechecker for Insanely Dependent Types
  ☆82Updated 3 months ago
• redneb / ghc-alt-libc
  GHC compiled against musl & uClibc
  ☆42Updated last year
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• kozross / diablerie
  All the byte bashing you didn't know you wanted in Haskell.
  ☆21Updated 4 years ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆35Updated 3 weeks ago