Alternatives and similar repositories for adl

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

• NorfairKing / validity
  Validity and validity-based testing
  ☆160Updated last month
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆185Updated 6 months ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated 2 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆154Updated 5 months ago
• elba / elba
  A package manager for Idris
  ☆187Updated 4 years ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆218Updated last year
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆174Updated 2 months ago
• i-am-tom / holmes
  A reference library for constraint-solving with propagators and CDCL.
  ☆306Updated last year
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆207Updated last year
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆197Updated 3 years ago
• tweag / funflow
  Functional workflows
  ☆365Updated last year
• ChrisPenner / lens-regex-pcre
  Text lenses using PCRE regexes
  ☆127Updated 7 months ago
• graninas / hierarchical-free-monads-the-most-developed-approach-in-haskell
  Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell
  ☆156Updated 3 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated 4 months ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆60Updated 3 months ago
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆226Updated 4 years ago
• i-am-tom / higgledy
  Higher-kinded data via generics
  ☆170Updated 10 months ago
• ziman / lightyear
  Parser combinators for Idris
  ☆243Updated 6 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆232Updated last year
• acid-state / acid-state
  Add ACID guarantees to any serializable Haskell data structure
  ☆303Updated 3 months ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆243Updated 5 years ago
• chrisdone-archive / dynamic
  Dynamic typing in Haskell
  ☆191Updated 6 years ago
• hasura / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆558Updated 2 years ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆163Updated last year
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆82Updated last year
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆96Updated 2 years ago
• co-log / co-log
  📓 Flexible and configurable modern #Haskell logging framework
  ☆261Updated 3 months ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated last year