Alternatives and similar repositories for clay-dhall

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

• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆26Updated 5 months ago
• vmchale / atspkg
  Build tool for ATS.
  ☆42Updated 3 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 5 years ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆18Updated 5 months ago
• haskellari / some
  Existential type.
  ☆37Updated last year
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 7 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆49Updated last year
• schell / varying
  Continuously varying values, made easy :)
  ☆42Updated 6 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 3 years ago
• gergoerdi / clash-compucolor2
  Clash implementation of the Compucolor II home computer
  ☆32Updated 4 years ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆35Updated this week
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 4 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago
• basic-calculus / hs-callbypushvalue
  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
  ☆14Updated 5 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• ekmett / unpacked-containers
  Unpacked containers using backpack
  ☆52Updated 5 years ago
• cartazio / resin
  Resin: high performance variable binder and ast manipulation lib
  ☆13Updated 6 years ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆25Updated 5 months ago
• Lysxia / metamorph
  Monomorphize polymorphic functions for testing
  ☆36Updated 8 years ago
• 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
• isovector / ldtk-types
  Types for ldtk
  ☆16Updated last year
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 5 years ago
• muesli4 / table-layout
  Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…
  ☆39Updated 7 months ago
• dhallix / nix-derivation
  ☆30Updated 5 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 6 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago