VOOZH

URL: https://github.com/topics/monad

⇱ monad · GitHub Topics · GitHub

#

monad

Here are 819 public repositories matching this topic...

👁 language-ext

louthy / language-ext

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

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

Updated
C#

samber / mo

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

cats go golang task functional programming state fp generics monad io monoid typesafe future optional option result maybe either

Updated
Go

llh911001 / mostly-adequate-guide-chinese

函数式编程指南中文版

functional-programming monad functor curry functional-js

Updated
JavaScript

fluture-js / Fluture

🦋 Fantasy Land compliant (monadic) alternative to Promises

functional-programming async promise algebraic-data-types monad control-flow future fantasy-land sanctuary cancellation fluture

Updated
JavaScript

IBM / fp-go

Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult monads, plus optics (Lens, Prism, Traversal) for immutable data manipulation. Supports Functor, Applicative, and Monad abstractions with do-notation-style

go golang utility library functional-programming monad

Updated
Go

functionaljava / functionaljava

Functional programming in Java

java algebra functional-programming effects algebraic-data-types monad property-based-testing persistent-data-structure monoid optics

Updated
Java

gigobyte / purify

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

typescript functional-programming algebraic-data-types monad functor decode codec option-type fantasy-land maybe either result-type

Updated
TypeScript

evilsoft / crocks

A collection of well known Algebraic Data Types for your utter enjoyment.

lift composition monad functor monoid curry adt predicate-functions unary-functions pair

Updated
JavaScript

JasonShin / fp-core.rs

A library for functional programming in Rust

rust functional-programming lambda-calculus monad functor category-theory monoid hkt applicative homomorphism comonad morphism

Updated
Rust

AOL-archive / cyclops

An advanced, but easy to use, platform for writing functional applications in Java 8.

java reactive functional-programming asynchronous reactive-streams streams data-structures monad collections java8 monoid monad-transformers streams-api

Updated
Java

michaelbull / kotlin-result

A multiplatform Result monad for modelling success or failure operations.

kotlin ios functional browser js functional-programming jvm class fp monad type result either kotlin-multiplatform

Updated
Kotlin

witchcrafters / witchcraft

Monads and other dark magic for Elixir

elixir algebra algebraic-data-types monad functor operators category applicative type-class traversable

Updated
Elixir

mobily / ts-belt

🔧 Fast, modern, and practical utility library for FP in TypeScript.

flow typescript functional-programming array fp monad option-type option result result-type

Updated
TypeScript

getify / monio

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

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

Updated
JavaScript

thma / LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

haskell functional-languages design-patterns monad functor category-theory typeclasses monoids monad-transformers strategy-pattern builder-pattern traversable factory-pattern function-composition pattern-language reader-monad gof-patterns functors iterator-pattern typeclassopedia

Updated
Haskell

palatable / lambda

Functional patterns for Java

java lambda functional-programming tuples io-monad algebraic-data-types monad functor lenses monoid semigroup optics either hlist profunctors traversable coproduct maybe-monad bifunctors try-monad

Updated
Java

dry-rb / dry-monads

Useful, common monads in idiomatic Ruby

ruby rubygem gem functional-programming monad dry-rb

Updated
Ruby

niltok / magic-in-ten-mins

十分钟魔法练习

java tutorial functional-programming lambda-calculus monad hkt adt formal-verification formal-proofs

Updated
HTML

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

construction comonads coq monad functor category-theory monoid categories category cartesian-closed-category cartesian profunctor profunctor-composition

Updated
Rocq Prover

fantasyland / static-land

Specification for common algebraic structures in JavaScript based on Fantasy Land

algebra functional-programming algebraic-data-types specification monad functor monoid fantasy-land adt algebraic static-land

Updated
JavaScript

Improve this page

Add a description, image, and links to the monad topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the monad topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.