Alternatives and similar repositories for eliza

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

• lehins / massiv-io
  Read and write images as massiv arrays
  ☆13Updated 4 years ago
• ChrisPenner / recursive-zipper
  Zippers for cofree types
  ☆13Updated 3 years ago
• tek / helic
  Clipboard synchronization tool
  ☆12Updated 2 months ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago
• haskell-servant / servant-blaze
  ☆12Updated 3 months ago
• input-output-hk / stackage.nix
  Automatically generated Nix expressions of Stackage snapshots
  ☆12Updated this week
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated 2 months ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12Updated last year
• isovector / ldtk-types
  Types for ldtk
  ☆16Updated last year
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 2 months ago
• pa-ba / AsyncRattus
  ☆14Updated 2 weeks ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated 3 weeks ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 3 weeks ago
• sergv / atomic-counter
  Haskell counters that can be safely incremented from multiple threads
  ☆19Updated last month
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆21Updated 2 months ago
• bradrn / cabasa
  A generic 2D cellular automaton simulator
  ☆25Updated 4 years ago
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• edsko / tracetree
  Visualization of Haskell data structures
  ☆16Updated last year
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• MonoidMusician / blog
  ☆11Updated 3 weeks ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated this week
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• serokell / ghc.dev
  The https://ghc.dev Website Generator
  ☆21Updated last year
• input-output-hk / hackage.nix
  Automatically generated Nix expressions for Hackage
  ☆21Updated this week
• clash-lang / ghc-typelits-extra
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆18Updated this week
• cartazio / resin
  Resin: high performance variable binder and ast manipulation lib
  ☆13Updated 6 years ago