idris-free
Free Monads and useful constructions to work with them
AI summary
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
- stars
- 26
- forks
- 10
- watching
- 12
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
ML server builder
Automates the setup and training of machine learning algorithms on remote servers
Monad builder
A set of building blocks for composable and functional programming in JavaScript using monad transformers.
Monad collection
A collection of monads for composable and expressive functional programming in JavaScript
Monad implementation library
A library for implementing monads by specifying instructions and their operational semantics
middleware monad
Provides a monad for middleware functions
Compiler builder
A framework for building incremental language compilers and analyzers.
Monad library
A Scala macro-based library for creating typelevel monads with first-class support in IntelliJ
Monadic operators
A set of infix operators and functions for working with monadic data structures in Swift.
Data monad library
A Clojure-based library providing macros and definitions for common data monads.
Functional programming library
A proof-of-concept implementation of the do monad syntax in JavaScript for functional programming
Monad tutorial
An introduction to monads in Clojure, covering the basics of this functional programming concept.
Monads
An introduction to monads in the Haskell programming language
Monad wrapper
A library that helps developers work with monads in Elixir to manage state and control code flow.
Monads library
A collection of monad implementations for Crystal programming language
haskell/mtl364
Monad transformer library
A collection of monad classes and transformers that enable functional programming in Haskell
Featured in 1 awesome list
Each link jumps to the spot where the list mentions idris-free.
