Alternatives and similar repositories for adl:

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

• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• 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
• tweag / funflow
  Functional workflows
  ☆363Updated last year
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆152Updated last month
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆195Updated 3 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 8 years ago
• NorfairKing / validity
  Validity and validity-based testing
  ☆160Updated last month
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆226Updated 3 years ago
• tweag / rules_haskell
  Haskell rules for Bazel.
  ☆268Updated last week
• hasura / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆554Updated last year
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆297Updated 3 months ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆186Updated 2 months ago
• ziman / lightyear
  Parser combinators for Idris
  ☆240Updated 5 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆343Updated 2 months ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆106Updated 2 years ago
• fpco / inline-c
  ☆287Updated 2 months ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆230Updated 9 months ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated last year
• acid-state / acid-state
  Add ACID guarantees to any serializable Haskell data structure
  ☆295Updated 3 months ago
• kcsongor / generic-lens
  Generically derive traversals, lenses, and prisms.
  ☆441Updated last month
• ChrisPenner / eve
  An extensible event-driven application framework in haskell
  ☆110Updated 4 years ago
• Gabriella439 / Haskell-Typed-Spreadsheet-Library
  Typed and composable spreadsheets
  ☆185Updated 2 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆378Updated last month
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆57Updated this week
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated 2 weeks ago
• MaybeJustJames / zephyr
  Tree shaking breeze for PureScript CoreFn AST
  ☆158Updated last year
• ivanperez-keera / dunai
  Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
  ☆213Updated last month
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆214Updated 7 months ago
• chrisdone-archive / dynamic
  Dynamic typing in Haskell
  ☆192Updated 5 years ago