monad

There are 12 repositories under monad topic.

language-ext
louthy / language-ext
C# functional language extensions - a base class library for functional programming
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
Language:C# 6151
fluture-js / Fluture
🦋 Fantasy Land compliant (monadic) alternative to Promises
fantasy-land promise future monad async control-flow algebraic-data-types functional-programming fluture cancellation sanctuary
Language:JavaScript 2467
llh911001 / mostly-adequate-guide-chinese
函数式编程指南中文版
curry functional-js functional-programming functor monad
Language:JavaScript 2467
samber / mo
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
cats either fp functional future generics go golang io maybe monad monoid option optional programming result state task typesafe
Language:Go 2242
functionaljava / functionaljava
Functional programming in Java
algebra algebraic-data-types effects functional-programming java monad monoid optics persistent-data-structure property-based-testing
Language:Java 1585
evilsoft / crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
adt predicate-functions lift unary-functions functor composition curry monoid monad pair
Language:JavaScript 1583
gigobyte / purify
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
typescript algebraic-data-types maybe monad functor fantasy-land functional-programming either result-type option-type codec decode
Language:TypeScript 1480
IBM / fp-go
functional programming library for golang
functional-programming go golang library monad utility
Language:Go 1479
aol / cyclops
An advanced, but easy to use, platform for writing functional applications in Java 8.
functional-programming reactive-streams monoid streams collections data-structures monad monad-transformers reactive asynchronous java8 streams-api java
Language:Java 1299
JasonShin / fp-core.rs
A library for functional programming in Rust
applicative category-theory comonad functional-programming functor hkt homomorphism lambda-calculus monad monoid morphism rust
Language:Rust 1298
witchcrafters / witchcraft
Monads and other dark magic for Elixir
elixir type-class functor monad category applicative traversable operators algebraic-data-types algebra
Language:Elixir 1175
getify / monio
The most powerful IO monad implementation in JS, possibly in any language!
javascript js fp functional-programming monad monads io maybe either observable
Language:JavaScript 1040
mobily / ts-belt
🔧 Fast, modern, and practical utility library for FP in TypeScript.
typescript functional-programming fp monad option option-type result result-type array flow
Language:TypeScript 1033
thma / LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
functional-languages factory-pattern strategy-pattern builder-pattern function-composition iterator-pattern monad haskell design-patterns gof-patterns category-theory typeclasses typeclassopedia pattern-language traversable functors monoids functor reader-monad monad-transformers
Language:Haskell 976
michaelbull / kotlin-result
A multiplatform Result monad for modelling success or failure operations.
kotlin result monad either type class functional-programming functional fp ios jvm js browser kotlin-multiplatform
Language:Kotlin 935
palatable / lambda
Functional patterns for Java
java functional-programming lenses lambda functor monad semigroup monoid coproduct profunctors bifunctors either traversable try-monad algebraic-data-types tuples hlist maybe-monad optics io-monad
Language:Java 855
fantasyland / static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
functional-programming fantasy-land specification monad functor monoid adt algebraic algebraic-data-types algebra static-land
Language:JavaScript 767
jwiegley / category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
cartesian cartesian-closed-category categories category category-theory comonads construction coq functor monad monoid profunctor profunctor-composition
Language:Coq 733
niltok / magic-in-ten-mins
十分钟魔法练习
adt java monad lambda-calculus functional-programming hkt tutorial formal-verification formal-proofs
Language:HTML 724
dry-rb / dry-monads
Useful, common monads in idiomatic Ruby
dry-rb monad functional-programming ruby gem rubygem
Language:Ruby 714
bow
bow-swift / bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
functional-programming category-theory functor monad swift-library free-monad tagless-final mtl cocoapods carthage swift bow effects composition fp spm declarative-programming reactive-programming hacktoberfest
Language:Swift 641
dehun / learn-fp
learn-by-doing course/tutorial for functional programming on scala
scala course functional-programming monad monoid functor typeclasses functional-idioms monad-transformers tutorial comonads monads applicative
Language:Scala 604
CrowdHailer / OK
Elegant error/exception handling in Elixir, with result monads.
pipeline monad macros elixir elixir-pipelines
Language:Elixir 598
atnos-org / eff
Eff monad for cats - https://atnos-org.github.io/eff
scala monad monad-transformers effects cats functional-programming
Language:Scala 570
mmenestret / fp-resources
Functional programming great resources
scala monad free-monads category-theory algebra monad-transformers recursion-schemes monoid typeclasses typeclass functional-programming
483
uncomplicate / fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
clojure category-theory clojure-library monad monoid functor
Language:Clojure 455
cbowdon / TsMonad
Little monad library designed for TypeScript
monad typescript monad-library fantasy-land javascript
Language:TypeScript 391
kongware / scriptum
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
functional-programming polymorphism algebraic-data-types sum-types tagged-unions pure-function monad recursion javascript composition function-composition point-free folding transducers purity corecursion catamorphism anamorphism monad-transformers lazyness
Language:JavaScript 382
rpominov / fun-task
Abstraction for managing asynchronous code in JS
fp promise future task async monad functional-programming
Language:JavaScript 373
haskell / mtl
The Monad Transformer Library
haskell monad-transformers monad
Language:Haskell 356
TeaEntityLab / fpGo
Monad, Functional Programming features for Golang
golang functional-programming functional-reactive-programming reactive reactive-programming golang-library monad monads collection optional optional-implementations stream pattern-matching sum-types publisher-subscriber publisher-subscriber-pattern curry currying pubsub actor-model
Language:Go 340
awto / effectfuljs
JavaScript embedded effects compiler
javascript-transpiler monad monadic-interface continuation javascript babel-plugin babel
Language:JavaScript 327
typelevel / cats-mtl
cats transformer type classes.
transformer-typeclasses cats functional-programming typeclasses monad
Language:Scala 304
jonlaing / rationale
Ramda inspired library of helper functions for ReasonML
ramda reasonml utility lodash bucklescript monad
Language:OCaml 275
monadless / monadless
Syntactic sugar for monad composition in Scala
scala scalajs monad futures cats monix
Language:Scala 275
rubico
a-synchronous / rubico
[a]synchronous functional programming
function-composition asynchronous transducers parallel series functional-programming promise async-await node javascript tacit pointfree concurrent iterator async generator combinators monad operator mux
Language:JavaScript 267