monad

There are 13 repositories under monad topic.

language-ext
louthy / language-ext
C# functional language extensions - a base class library for functional programming
c-sharp functional-languages monads monad-transformers immutable-collections higher-kinded-types language-ext f-sharp immutable-types monad bcl ad-hoc-polymorphism functional-programming lenses records structural-equality functor applicative semigroup monoid
Language:C# 6280
llh911001 / mostly-adequate-guide-chinese
函数式编程指南中文版
functional-programming functional-js functor curry monad
Language:JavaScript 2489
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 2477
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 2475
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 1594
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 1585
IBM / fp-go
functional programming library for golang
functional-programming go golang library monad utility
Language:Go 1545
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 1498
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 1322
aol / cyclops
An advanced, but easy to use, platform for writing functional applications in Java 8.
asynchronous collections data-structures functional-programming java java8 monad monad-transformers monoid reactive reactive-streams streams streams-api
Language:Java 1309
witchcrafters / witchcraft
Monads and other dark magic for Elixir
algebra algebraic-data-types applicative category elixir functor monad operators traversable type-class
Language:Elixir 1186
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 1071
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 1045
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 980
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 977
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 858
fantasyland / static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
adt algebra algebraic algebraic-data-types fantasy-land functional-programming functor monad monoid specification static-land
Language:JavaScript 771
niltok / magic-in-ten-mins
十分钟魔法练习
adt formal-proofs formal-verification functional-programming hkt java lambda-calculus monad tutorial
Language:HTML 744
jwiegley / category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
category-theory coq monad profunctor comonads monoid profunctor-composition construction category categories functor cartesian cartesian-closed-category
Language:Coq 740
dry-rb / dry-monads
Useful, common monads in idiomatic Ruby
dry-rb functional-programming gem monad ruby rubygem
Language:Ruby 728
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 643
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 610
CrowdHailer / OK
Elegant error/exception handling in Elixir, with result monads.
pipeline monad macros elixir elixir-pipelines
Language:Elixir 600
atnos-org / eff
Eff monad for cats - https://atnos-org.github.io/eff
cats effects functional-programming monad monad-transformers scala
Language:Scala 577
mmenestret / fp-resources
Functional programming great resources
scala monad free-monads category-theory algebra monad-transformers recursion-schemes monoid typeclasses typeclass functional-programming
485
uncomplicate / fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
clojure category-theory clojure-library monad monoid functor
Language:Clojure 464
cbowdon / TsMonad
Little monad library designed for TypeScript
monad typescript monad-library fantasy-land javascript
Language:TypeScript 392
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 monad-transformers
Language:Haskell 358
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 347
awto / effectfuljs
JavaScript embedded effects compiler
javascript-transpiler monad monadic-interface continuation javascript babel-plugin babel
Language:JavaScript 330
typelevel / cats-mtl
cats transformer type classes.
transformer-typeclasses cats functional-programming typeclasses monad
Language:Scala 307
monadless / monadless
Syntactic sugar for monad composition in Scala
cats futures monad monix scala scalajs
Language:Scala 278
jonlaing / rationale
Ramda inspired library of helper functions for ReasonML
ramda reasonml utility lodash bucklescript monad
Language:OCaml 274
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 270