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 last year
• unisonweb / base
  Unison base libraries
  ☆23Updated 4 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated this week
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 3 weeks ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated last year
• lexi-lambda / talks
  ☆45Updated 2 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆31Updated 2 years ago
• jaredly / unison.rs
  ☆71Updated 3 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 3 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 6 months ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆29Updated last year
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆38Updated 2 years ago
• csicar / pskt
  Kotlin-backend for PureScript
  ☆80Updated 4 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆28Updated last year
• cgohla / pureshell
  A Bash backend for PureScript
  ☆20Updated 3 years ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated 2 years ago
• lexi-lambda / lexi-lambda.github.io
  ☆38Updated 7 months ago
• purefunctor / purescript-analyzer
  Compiler frontend for PureScript in Rust
  ☆80Updated this week
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆62Updated 2 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆69Updated last week
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated 2 years ago
• stefan-hoeck / idris2-rhone-js
  Experimental JS bindings for idris2-rhone
  ☆21Updated 2 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆68Updated 2 months 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 last year
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆16Updated 11 months ago