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
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 7 months ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 3 weeks 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 2 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last month
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated last month
• kbertalan / tyttp
  ☆21Updated last month
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated this week
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 4 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated 2 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 8 months ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 3 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆41Updated this week
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆57Updated 2 weeks ago
• spacchetti / spacchetti
  dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!
  ☆47Updated 6 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆65Updated last month
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated last month
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• utdemir / qualified-imports-plugin
  ☆16Updated 2 years ago
• JoeyEremondi / aoc-2020-idris
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Updated 4 years ago
• purefunctor / purescript-dissect
  Dissectible data structures for implementing iterative traversals.
  ☆20Updated 2 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago