Projects in Awesome Lists tagged with monads

https://github.com/louthy/language-ext

C# pure functional programming framework - come and get declarative!

ad-hoc-polymorphism applicative bcl c-sharp f-sharp functional-languages functional-programming functor higher-kinded-types immutable-collections immutable-types language-ext lenses monad monad-transformers monads monoid records semigroup structural-equality

Last synced: 26 Dec 2025

https://github.com/arrow-kt/arrow

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

arrow continuations coroutines delimited-continuations for-comprehension fp-types functional-data-structure functional-programming hacktoberfest kotlin kotlin-dsl kotlin-libraries kotlin-library monads optics polymorphism typeclasses typed-lambda-calculus

Last synced: 14 May 2025

https://github.com/true-myth/true-myth

Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.

applicatives functional-programming functors javascript monads typescript typescript-definitions typescript-library

Last synced: 04 Mar 2026

https://github.com/getify/monio

The most powerful IO monad implementation in JS, possibly in any language!

either fp functional-programming io javascript js maybe monad monads observable

Last synced: 15 May 2025

https://github.com/slavovojacek/monads

Option, Result, and Either types for TypeScript - Inspired by Rust 🦀

either javascript monads node nodejs option result rust types typescript

Last synced: 27 Dec 2025

https://github.com/dbrattli/oslash

Functors, Applicatives, And Monads in Python

functors monad-tutorial monads oslash python

Last synced: 17 Nov 2025

https://github.com/dbrattli/OSlash

Functors, Applicatives, And Monads in Python

functors monad-tutorial monads oslash python

Last synced: 18 Jul 2025

https://github.com/thames-technology/monads

Option, Result, and Either types for TypeScript - Inspired by Rust 🦀

either javascript monads node nodejs option result rust types typescript

Last synced: 07 Apr 2025

https://github.com/frees-io/freestyle

A cohesive & pragmatic framework of FP centric Scala libraries

architectural-patterns cassandra free-monads freestyle functional-programming kafka monads redis rpc scala spark tagless-final

Last synced: 12 Apr 2025

https://github.com/dehun/learn-fp

learn-by-doing course/tutorial for functional programming on scala

applicative comonads course functional-idioms functional-programming functor monad monad-transformers monads monoid scala tutorial typeclasses

Last synced: 23 Jul 2025

https://github.com/xebia-functional/fetch

Simple & Efficient data access for Scala and Scala.js

cats concurrency data data-fetching monads monix parallelism scala scala-js sequencing

Last synced: 11 Jan 2026

https://github.com/rametta/pratica

🥃 Functional Algebraic Data Types

fp functional-programming monads monoids typescript utilities

Last synced: 16 May 2025

https://github.com/thma/WhyHaskellMatters

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

algebraic-data-types anonymous-functions declarative-programming explicit-side-effects first-class-functions foldable folding function-composition functional-programming functor haskell higher-order-functions lazy-evaluation list-comprehension mapping monads partial-application pattern-matching polymorphic-types type-classes

Last synced: 30 Apr 2025

https://github.com/thma/whyhaskellmatters

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

algebraic-data-types anonymous-functions declarative-programming explicit-side-effects first-class-functions foldable folding function-composition functional-programming functor haskell higher-order-functions lazy-evaluation list-comprehension mapping monads partial-application pattern-matching polymorphic-types type-classes

Last synced: 05 Apr 2025

https://github.com/inato/fp-ts-cheatsheet

FP-TS Cheat Sheet

fp-ts functional-programming immutable monads typescript

Last synced: 28 Mar 2025

https://github.com/teaentitylab/fpgo

Monad, Functional Programming features for Golang

actor-model collection curry currying functional-programming functional-reactive-programming golang golang-library monad monads optional optional-implementations pattern-matching publisher-subscriber publisher-subscriber-pattern pubsub reactive reactive-programming stream sum-types

Last synced: 16 May 2025

https://github.com/TeaEntityLab/fpGo

Monad, Functional Programming features for Golang

actor-model collection curry currying functional-programming functional-reactive-programming golang golang-library monad monads optional optional-implementations pattern-matching publisher-subscriber publisher-subscriber-pattern pubsub reactive reactive-programming stream sum-types

Last synced: 14 Mar 2025

https://github.com/higherkindness/mu-haskell

Mu (μ) is a purely functional framework for building micro services.

avro defines-schemas graphql grpc hacktoberfest haskell monads mu mu-graphql mu-haskell protocol-buffers rpc type-level type-level-programming

Last synced: 25 Mar 2025

https://higherkindness.github.io/mu/

Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2

algebra functional-programming monads mu protocol rpc scala tagless-final

Last synced: 08 May 2025

https://github.com/higherkindness/mu-scala

Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2

algebra functional-programming monads mu protocol rpc scala tagless-final

Last synced: 11 Jan 2026

https://github.com/loopperfect/neither

Either and Maybe monads for better error-handling in C++ ↔️

buckaroo cpp either functional-programming header-only maybe monads optional

Last synced: 23 Jul 2025

https://github.com/fp4php/functional

PHP Functional Programming library. Monads, common use functions and generic collections.

collections collections-framework function functional functional-programming functions immutable monads php psalm psalm-plugin static-analysis streams

Last synced: 11 Jan 2026

https://github.com/sjsyrek/maryamyriameliamurphies.js

A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.

es2015 functional-programming haskell javascript monads

Last synced: 15 Mar 2025

https://github.com/aztek/scala-workflow

Boilerplate-free syntax for computations with effects

applicative-functors functional-programming functors monads scala scala-macros

Last synced: 31 Jul 2025

https://github.com/orakaro/swift-monad-maybe-reader-and-try

Proof of concept: Maybe, Reader and Try monad

functor monads reader-monad swift

Last synced: 12 Apr 2025

https://github.com/tonivade/purefun

Functional Programming library for Java

effects experimental free-monad functional-programming higher-kinded-types immutable-collections io-monad java memoization monad monad-transformers monads mtl stream tagless-final tuples typeclasses

Last synced: 04 Apr 2025

https://github.com/fogfish/datum

pure functional and generic programming for Erlang

algebraic-data-types category-pattern data-structures erlang foldable generic-programming lenses monads streams traversable

Last synced: 08 Oct 2025

https://github.com/patrickmichalina/typescript-monads

📚Write safer TypeScript using Maybe, List, Result, and Either monads.

either-monad functional-programming immutability javascript list-monad maybe-monad monads node reader-monad result-monad typescript

Last synced: 31 Mar 2025

https://github.com/teaentitylab/fprust

Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust

actor-model async coroutine coroutine-library coroutines functional-programming functional-reactive-programming generator handler monad monads optional optional-implementations publisher-subscriber publisher-subscriber-pattern pubsub reactive reactive-programming rust rust-library

Last synced: 07 Apr 2025

https://github.com/TeaEntityLab/fpRust

Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust

actor-model async coroutine coroutine-library coroutines functional-programming functional-reactive-programming generator handler monad monads optional optional-implementations publisher-subscriber publisher-subscriber-pattern pubsub reactive reactive-programming rust rust-library

Last synced: 19 Mar 2025

https://github.com/dry-rb/dry-matcher

Flexible, expressive pattern matching for Ruby

dry-rb monads pattern-matching ruby

Last synced: 17 Feb 2026

https://github.com/pawelrubin/rustshed

Rust types in Python. https://justforfunnoreally.dev/

functional-programming monads python rust

Last synced: 12 Mar 2026

https://github.com/alice-biometrics/meiga

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].

monads python result result-type typing

Last synced: 12 Jan 2026

https://github.com/typelevel/coop

Cooperative multithreading as a pure monad transformer

cats concurrency fibers free monads scala

Last synced: 05 Apr 2025

https://github.com/affeldt-aist/monae

Monadic effects and equational reasoning in Rocq

math-comp mathcomp monad-transformers monadic-effects monads nondeterminism probabilistic-programming ssreflect

Last synced: 20 Aug 2025

https://github.com/ace411/bingo-functional

A simple functional programming library for PHP

bingo-framework either-monad fp functional functional-php functional-programming functors helpers immutability immutable io-monad maybe-monad monads php php-library php7 reader-monad state-monad writer-monad

Last synced: 02 Jul 2025

https://github.com/Jense5/browser-monads

Monads for `window` and `document`

browser document gatsby javascript monads window

Last synced: 07 May 2025

https://github.com/lucapiccinelli/konad

Monads composition API that just works. For OOP developers

applicative-functors arrow composition functors kotlin kotlin-monads monads nullables

Last synced: 22 Jan 2026

https://github.com/bolshakov/fear

Ruby port of some Scala's monads

either monads option pattern-matching ruby try

Last synced: 26 Sep 2025

https://github.com/meomundep/monad-score

Auto referrals, connect wallet, run node, do tasks, checkin.

airdrop airdrop-application airdrop-claim-bot airdrop-farm airdrop-free airdrop-huner-download blackcaysyndicate freeairdropne meomundep monad monad-score monads node score validator web3

Last synced: 03 Feb 2026

https://github.com/alex-lairan/monads

Monads for Crystal

crystal crystal-language monads

Last synced: 18 Jan 2026

https://github.com/politrons/LetsGO

Examples of the most important features of this languages.

category-theory fp go golang google monads reactive reactive-programming

Last synced: 26 Apr 2025

https://github.com/ulrikdamm/Forbind

Functional chaining and promises in Swift

async binding monads promise result swift

Last synced: 30 Jul 2025

https://github.com/teaentitylab/fpes

Functional Programming for EcmaScript(Javascript)

curry currying es es6 es7 fp functional-programming functional-reactive-programming javascript js monad monads optional optional-implementations publisher-subscriber publisher-subscriber-pattern pubsub reactive reactive-programming rx

Last synced: 07 Mar 2026

https://github.com/przemyslawjanpietrzak/pymonet

High abstract python library for functional programming. Contains algebraic data structures known (or unknown) from Haskell or Scala.

functional-programming monads python

Last synced: 17 Mar 2026

https://github.com/przemyslawjanpietrzak/pyMonet

High abstract python library for functional programming. Contains algebraic data structures known (or unknown) from Haskell or Scala.

functional-programming monads python

Last synced: 16 Nov 2025

https://github.com/xyzsd/dichotomy

Result, Either, Try, and Maybe monadic types for Java

adt algebraic-data-types either either-monad error-handling java jdk jvm maybe-monad monads railway-oriented-programming result result-monad result-type sealed-class sum-types try try-monad types

Last synced: 26 Jul 2025

https://github.com/patrimart/monadness-js

Implements Either, Maybe and Tuple monads.

either maybe monads tuples typescript

Last synced: 12 Apr 2025

https://github.com/vickumar1981/pyeffects

Handle side-effects in Python like a boss. Implements functional types for Either, Option, Try, and Future.

either either-monad future future-monad futures hacktoberfest hacktoberfest-accepted hacktoberfest2023 monad monads option option-monad option-type python python27 python3 try try-catch try-monad

Last synced: 01 Oct 2025

https://github.com/alhassy/HaskellCheatSheet

A reference sheet for the basics of the mind-expanding Haskell language ^_^

applicatives cheatsheet functional-programming functors haskell monads typeclasses

Last synced: 30 Mar 2025

https://github.com/alhassy/haskellcheatsheet

A reference sheet for the basics of the mind-expanding Haskell language ^_^

applicatives cheatsheet functional-programming functors haskell monads typeclasses

Last synced: 11 Oct 2025

https://github.com/bellroy/dry-monads-sorbet

Sorbet type hints for Dry::Monads.

dry-monads monads ruby sorbet type-safety

Last synced: 16 Jul 2025

https://github.com/fumieval/monad-skeleton

Operational monad library

haskell monads

Last synced: 30 Apr 2025

https://github.com/stadub/PowershellScripts

Monorepo with all my Powershell Scripts

7zip base64 currency-convereter currency-exchange decode directorymarks encode filter gzip monads pipe powershell powershell-bookmarks powershell-script powershell-scripts poweshell-pipe pushd uninstall-application unzip zip

Last synced: 29 Jul 2025

https://github.com/stadub/powershellscripts

Monorepo with all my Powershell Scripts

7zip base64 currency-convereter currency-exchange decode directorymarks encode filter gzip monads pipe powershell powershell-bookmarks powershell-script powershell-scripts poweshell-pipe pushd uninstall-application unzip zip

Last synced: 29 Oct 2025

https://github.com/a-chris/to-result

A wrapper over `dry-monads` to solve its flaws and offer a safe way to implement the Railway pattern.

dry-monads monads railway railway-oriented-programming ruby

Last synced: 10 Apr 2025

https://github.com/letmaik/monadiccp

Monadic Constraint Programming framework

constraint-programming haskell monads

Last synced: 19 Apr 2025

https://github.com/polytypic/rea-ml

Effectful OCaml with Objects and Variants

applicatives asynchronous checked-exceptions effects functors higher-kinded-types hobby-project monads ocaml tagless-final

Last synced: 19 Apr 2025

https://github.com/operators-rb/operators-service

Service Object based on Either Monad

interactor monads operators service-object

Last synced: 17 Apr 2025

https://github.com/47degrees/functional-error-handling

Functional Error Handling

error-handling exceptions exceptions-raised functional-programming monads

Last synced: 03 Jul 2025

https://github.com/cando/Algar

Algebraic structures, higher-kinded types and other category theory bad ideas

category-theory functional-programming monad-transformers monads

Last synced: 04 Apr 2026

https://github.com/tvorogme/scala-tutorial

How to start writing scala

course monads scala syntax

Last synced: 28 Jul 2025

https://github.com/robrix/freer-cofreer

freer monads and cofreer comonads.

comonads haskell monads

Last synced: 24 Aug 2025

https://github.com/ritesh404/kudojs

A utility library to write code in functional programming style in Javascript

applicative composition curry functional-js functional-programming functor javascript library monads nodejs typescript

Last synced: 16 Nov 2025

https://github.com/pimbrouwers/danom

Structures for durable programming patterns in C#.

error-handling monads option option-type railway-oriented-programming result result-type

Last synced: 25 Jun 2025

https://github.com/hellerve/hawkweed

Yet another implementation of missing functions for Python

currying datastructures functional monads

Last synced: 18 Mar 2025

https://github.com/ilyasergey/monadic-cfa

Generic implementation of different CFA families based on monadic decomposition

abstract-interpretation haskell k-cfa monads static-analysis

Last synced: 31 Jul 2025

https://github.com/frees-io/freestyle-kafka

Freestyle Kafka

freestyle functional-programming kafka monads scala

Last synced: 17 Jun 2025

https://github.com/frees-io/freestyle-cassandra

Freestyle Cassandra

cassandra free-monads freestyle functional-programming monads scala

Last synced: 12 Apr 2025

https://github.com/rvarago/kitten

A small C++17 library inspired by Category Theory.

category-theory cpp declarative-programming functional-programming functors modern-cpp monadic-interface monads

Last synced: 08 May 2025

https://github.com/arrow-kt/arrow-media

Media blog for the functional companion to Kotlin's Standard Library

arrow category-theory functional-programming funktionale kategory kotlin monads optics tutorial typeclasses

Last synced: 14 Apr 2025

https://github.com/tk3369/monadfunctions.jl

Monad implementation in Julia

julialang monads

Last synced: 22 Jun 2025

https://github.com/manuelroemer/ncommons

A set of several .NET libraries which provide common building blocks that can be used by any kind of library or application.

collections common csharp library monads observables

Last synced: 07 May 2025

https://github.com/tchajed/coq-io

Modeling I/O in Coq using free monads

coq monads

Last synced: 10 Apr 2025

https://github.com/Fretadao/f_service

Simpler, safer and more composable operations

chaining-services hacktoberfest hacktoberfest2023 interactor library monads operations ruby service-objects

Last synced: 16 Jul 2025

https://github.com/risto-stevcev/category-theory-by-example

Explaining category theory by example

category category-theory example examples free free-monad monad monads theory

Last synced: 05 Feb 2026

https://github.com/alexandrepiveteau/functional-kotlin

Functional Programming goodies for Kotlin

composition functional-programming kotlin monads

Last synced: 07 Sep 2025

https://github.com/kutyel/fpjs-workshop

⚡️ My workshop to teach FP principles in JavaScript

fp-js fp-workshop fpjs functional functional-js functional-programming functor monads workshop

Last synced: 15 Apr 2025

https://github.com/marmelab/limonade

A Monad library to make Monad simple.

javascript monads

Last synced: 22 Apr 2025

https://github.com/danslapman/cats-conts

Continuation monads for cats

cats continuations monads

Last synced: 27 Jun 2025

https://github.com/moonad-dotnet/moonad

A simple F#'s monads port for C#.

csharp csharp-library functional-programming monad monads result result-type

Last synced: 09 Apr 2025

https://github.com/tomatosoup97/freak

Free as in beer, free as in algebra. Language with (co)algebraic effects and (co)handlers

algebra algebraic-effects haskell languages monads

Last synced: 17 Apr 2025

https://github.com/ace411/bingo-functional-js

A JavaScript port of the bingo-functional library.

bingo-functional-js es6 functional-javascript functional-js functional-programming functors helper-functions javascript javascript-functions javascript-library monads

Last synced: 13 Mar 2025

https://github.com/juliafunctional/monadic.jl

simple macro for monadic programming style

functional-programming monads

Last synced: 28 Feb 2026

https://github.com/newswim/wtfp-ts

A collection of resources and examples for understanding FP-TS and its ecosystem

fp-ts hkts monads typescript

Last synced: 30 Oct 2025

https://github.com/martianoff/gala

GALA (Go Alternative LAnguage) -- a modern functional programming language that transpiles to Go. Sealed types, pattern matching, immutability by default, monads (Option, Either, Try, Future), and full Go interop. Built with Go, ANTLR4, Bazel and Claude.

algebraic-data-types bazel compiler compilers functional-programming gala go golang hacktoberfest immutability language language-design monads pattern-matching programming-language scala sealed-types transpiler type-inference