operational
Monad implementation library
A library for implementing monads by specifying instructions and their operational semantics
Implement monads by specifying instructions and their desired operational semantics.
82 stars
9 watching
16 forks
Language: Haskell
last commit: over 2 years agofree-monadhaskellmonad
Related projects:
| Repository | Description | Stars |
|---|---|---|
 mplatvoet/funktional | A Kotlin implementation of monadic types for functional programming. | 10 |
 jasondelaat/pymonad | An implementation of monads and related data structures in Python. | 199 |
 thangiee/freasy-monad | A Scala macro-based library for creating typelevel monads with first-class support in IntelliJ | 114 |
 affeldt-aist/monae | A Coq library for formalizing and reasoning about monads with equational logic | 70 |
 haskell/mtl | A collection of monad classes and transformers that enable functional programming in Haskell | 364 |
 clojure/algo.monads | A Clojure-based library providing macros and definitions for common data monads. | 446 |
 rizo/ppx_monad | Provides a syntax extension for monadic computations in OCaml. | 7 |
| heinrichapfelmus/hyper-haskell | An interactive graphical interpreter for the Haskell programming language | 361 |
 ircmaxell/monad-php | A PHP library providing a basic set of functional programming constructs through the use of monads. | 295 |
 graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell | An in-depth exploration of a Haskell approach to building real-world software, focusing on its benefits and applications. | 155 |
 monadfix/named | Library providing typed named function parameters with arbitrary ordering and documentation | 90 |
 drboolean/freeky | A collection of monads for composable and expressive functional programming in JavaScript | 176 |
 khinsen/monads-in-clojure | An introduction to monads in Clojure, covering the basics of this functional programming concept. | 224 |
 sjsyrek/maryamyriameliamurphies.js | A Haskell-style library of morphisms in ES2015 JavaScript for functional programming and monads | 182 |
| haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 850 |