idris-free
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
Free Monads and useful constructions to work with them
26 stars
12 watching
10 forks
Language: Idris
last commit: over 6 years ago
Linked from 1 awesome list
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jgreenemi/parris | Automates the setup and training of machine learning algorithms on remote servers | 316 |
 abuseofnotation/monad-transformers | A set of building blocks for composable and functional programming in JavaScript using monad transformers. | 26 |
 drboolean/freeky | A collection of monads for composable and expressive functional programming in JavaScript | 176 |
 heinrichapfelmus/operational | A library for implementing monads by specifying instructions and their operational semantics | 82 |
 fluture-js/momi | Provides a monad for middleware functions | 59 |
 eliah-lakhin/lady-deirdre | A framework for building incremental language compilers and analyzers. | 444 |
 thangiee/freasy-monad | A Scala macro-based library for creating typelevel monads with first-class support in IntelliJ | 114 |
 thoughtbot/runes | A set of infix operators and functions for working with monadic data structures in Swift. | 830 |
 clojure/algo.monads | A Clojure-based library providing macros and definitions for common data monads. | 448 |
 elclanrs/dom.js | A proof-of-concept implementation of the do monad syntax in JavaScript for functional programming | 11 |
 khinsen/monads-in-clojure | An introduction to monads in Clojure, covering the basics of this functional programming concept. | 223 |
 raimohanska/monads | An introduction to monads in the Haskell programming language | 12 |
 rob-brown/monadex | A library that helps developers work with monads in Elixir to manage state and control code flow. | 309 |
 alex-lairan/monads | A collection of monad implementations for Crystal programming language | 47 |
 haskell/mtl | A collection of monad classes and transformers that enable functional programming in Haskell | 367 |