Alternatives and similar repositories for effective:

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

• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 9 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆27Updated last year
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆20Updated 7 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 weeks ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 3 months ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆40Updated 3 weeks ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆50Updated 10 months ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated 4 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 4 months ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 2 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 months ago
• cgohla / pureshell
  A Bash backend for PureScript
  ☆20Updated 2 years ago
• kbertalan / tyttp
  ☆21Updated this week
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated last year
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• jkoppel / ecta
  ☆35Updated last year
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆47Updated last month
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 7 months ago
• purefunctor / purescript-dissect
  Dissectible data structures for implementing iterative traversals.
  ☆20Updated 3 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 10 months ago
• abarbu / servant-reason
  Automatically derive bindings for Servant APIs in Reason
  ☆12Updated 5 years ago
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago