Alternatives and similar repositories for effective:

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

• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 months ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated 5 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 3 months ago
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆11Updated 3 months ago
• kbertalan / tyttp
  ☆21Updated 3 months ago
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆20Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 8 months ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 3 weeks ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 2 months ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 2 months ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 4 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated 3 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 9 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 2 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆53Updated 2 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated 6 months ago
• purefunctor / purescript-dissect
  Dissectible data structures for implementing iterative traversals.
  ☆20Updated 2 years ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆57Updated last year
• jkoppel / ecta
  ☆34Updated last year
• gelisam / typechecker-combinators
  ☆17Updated last year
• Russoul / Idris2-Effect
  Experimental effects library for Idris 2
  ☆42Updated 2 years ago