Alternatives and similar repositories for adl

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

• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆155Updated 11 months ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆305Updated 2 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆95Updated 2 years ago
• NorfairKing / validity
  Validity and validity-based testing
  ☆161Updated 3 weeks 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
  ☆155Updated 4 years ago
• ChrisPenner / lens-regex-pcre
  Text lenses using PCRE regexes
  ☆128Updated last year
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆179Updated 7 months ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 4 years ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆107Updated 3 years ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆61Updated 9 months ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆200Updated 4 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆223Updated last month
• elba / elba
  A package manager for Idris
  ☆186Updated 5 years ago
• i-am-tom / higgledy
  Higher-kinded data via generics
  ☆170Updated last year
• ChrisPenner / eve
  An extensible event-driven application framework in haskell
  ☆110Updated 2 months ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆209Updated 2 months ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆101Updated last year
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 7 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 2 years ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆204Updated 4 years ago
• nikita-volkov / hasql-th
  Template Haskell utilities for Hasql
  ☆113Updated 11 months ago
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆226Updated 4 years ago
• i-am-tom / holmes
  A reference library for constraint-solving with propagators and CDCL.
  ☆308Updated last year
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆192Updated 10 months ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated 9 months ago
• ziman / lightyear
  Parser combinators for Idris
  ☆244Updated 6 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆121Updated 3 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated last year
• well-typed / optics
  Optics as an abstract interface
  ☆386Updated 2 months ago