67 results found Sort:

louthy
language-ext louthy
411
6.2k
mit
181
C# functional language extensions - a base class library for functional programming
bcl monad lenses monads monoid c-sharp f-sharp functor records semigroup applicative language-ext immutable-types monad-transformers ad-hoc-polymorphism higher-kinded-types structural-equality functional-languages immutable-collections functional-programming
Created 2014-11-16
3,392 commits to main branch, last one 7 days ago
llh911001
mostly-adequate-guide-chinese llh911001
327
2.5k
other
75
函数式编程指南中文版
curry monad functor functional-js functional-programming
Created 2015-07-16
167 commits to master branch, last one about a year ago
fluture-js
Fluture fluture-js
84
2.5k
mit
26
🦋 Fantasy Land compliant (monadic) alternative to Promises
async monad future fluture promise sanctuary cancellation control-flow fantasy-land algebraic-data-types functional-programming
Created 2016-03-06
1,263 commits to master branch, last one 4 months ago
samber
mo samber
75
2.4k
mit
18
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
fp go io cats task maybe monad state either future golang monoid option result generics optional typesafe functional programming
Created 2022-05-17
74 commits to master branch, last one 7 months ago
functionaljava
functionaljava functionaljava
252
1.6k
unknown
84
Functional programming in Java
java monad monoid optics algebra effects algebraic-data-types functional-programming property-based-testing persistent-data-structure
Created 2010-10-29
1,161 commits to series/5.x branch, last one 2 years ago
evilsoft
crocks evilsoft
102
1.6k
isc
39
A collection of well known Algebraic Data Types for your utter enjoyment.
adt lift pair curry monad monoid functor composition unary-functions predicate-functions
Created 2016-07-02
599 commits to master branch, last one 3 years ago
IBM
fp-go IBM
40
1.5k
apache-2.0
16
functional programming library for golang
go monad golang library utility functional-programming
Created 2023-07-05
289 commits to main branch, last one 4 days ago
gigobyte
purify gigobyte
56
1.5k
isc
11
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
codec maybe monad decode either functor typescript option-type result-type fantasy-land algebraic-data-types functional-programming
Created 2018-02-06
1,098 commits to master branch, last one 5 days ago
JasonShin
fp-core.rs JasonShin
63
1.3k
mit
39
A library for functional programming in Rust
hkt rust monad monoid comonad functor morphism applicative homomorphism category-theory lambda-calculus functional-programming
Created 2019-05-29
278 commits to master branch, last one 4 years ago
aol
cyclops aol
136
1.3k
apache-2.0
100
An advanced, but easy to use, platform for writing functional applications in Java 8.
java java8 monad monoid streams reactive collections streams-api asynchronous data-structures reactive-streams monad-transformers functional-programming
Created 2015-01-20
3,518 commits to master branch, last one 2 years ago
witchcrafters
witchcraft witchcrafters
58
1.2k
mit
31
Monads and other dark magic for Elixir
monad elixir algebra functor category operators type-class applicative traversable algebraic-data-types
Created 2015-10-06
193 commits to main branch, last one 2 years ago
mobily
ts-belt mobily
29
1.0k
mit
11
🔧 Fast, modern, and practical utility library for FP in TypeScript.
fp flow array monad option result typescript option-type result-type functional-programming
Created 2020-11-30
448 commits to master branch, last one about a year ago
getify
monio getify
58
1.0k
mit
26
The most powerful IO monad implementation in JS, possibly in any language!
fp io js maybe monad either monads javascript observable functional-programming
Created 2020-05-22
202 commits to master branch, last one 4 months ago
thma
LtuPatternFactory thma
39
977
apache-2.0
27
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
monad functor haskell monoids functors traversable typeclasses gof-patterns reader-monad builder-pattern category-theory design-patterns factory-pattern typeclassopedia iterator-pattern pattern-language strategy-pattern monad-transformers function-composition functional-languages
Created 2018-10-05
273 commits to master branch, last one 2 years ago
michaelbull
kotlin-result michaelbull
55
954
isc
17
A multiplatform Result monad for modelling success or failure operations.
fp js ios jvm type class monad either kotlin result browser functional kotlin-multiplatform functional-programming
Created 2017-10-21
415 commits to master branch, last one about a month ago
palatable
lambda palatable
87
855
mit
42
Functional patterns for Java
java hlist monad either lambda lenses monoid optics tuples functor io-monad coproduct semigroup try-monad bifunctors maybe-monad profunctors traversable algebraic-data-types functional-programming
Created 2014-01-26
707 commits to master branch, last one about a year ago
fantasyland
static-land fantasyland
40
770
mit
23
Specification for common algebraic structures in JavaScript based on Fantasy Land
adt monad monoid algebra functor algebraic static-land fantasy-land specification algebraic-data-types functional-programming
Created 2016-03-12
160 commits to master branch, last one 4 years ago
jwiegley
category-theory jwiegley
67
735
bsd-3-clause
19
An axiom-free formalization of category theory in Coq for personal study and practical work
coq monad monoid functor category comonads cartesian categories profunctor construction category-theory profunctor-composition cartesian-closed-category
Created 2014-07-04
1,527 commits to master branch, last one about a month ago
niltok
magic-in-ten-mins niltok
36
735
cc-by-4.0
8
十分钟魔法练习
adt hkt java monad tutorial formal-proofs lambda-calculus formal-verification functional-programming
Created 2020-11-09
94 commits to main branch, last one 9 months ago
dry-rb
dry-monads dry-rb
133
719
mit
28
Useful, common monads in idiomatic Ruby
gem ruby monad dry-rb rubygem functional-programming
Created 2016-04-22
891 commits to main branch, last one 4 months ago
bow-swift
bow bow-swift
32
642
other
20
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
fp bow mtl spm monad swift effects functor carthage cocoapods free-monad composition hacktoberfest swift-library tagless-final category-theory reactive-programming functional-programming declarative-programming
Created 2018-03-07
906 commits to master branch, last one 2 years ago
atnos-org
eff atnos-org
78
570
mit
19
Eff monad for cats - https://atnos-org.github.io/eff
cats monad scala effects monad-transformers functional-programming
Created 2016-01-04
1,235 commits to master branch, last one 3 days ago
uncomplicate
fluokitten uncomplicate
35
462
epl-1.0
20
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
monad monoid clojure functor category-theory clojure-library
Created 2013-05-19
156 commits to master branch, last one 15 days ago
cbowdon
TsMonad cbowdon
38
391
mit
11
Little monad library designed for TypeScript
monad javascript typescript fantasy-land monad-library
This repository has been archived (exclude archived)
Created 2014-08-30
126 commits to master branch, last one 4 years ago
kongware
scriptum kongware
22
382
mit
15
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
monad purity folding lazyness recursion sum-types javascript point-free anamorphism composition corecursion transducers catamorphism polymorphism pure-function tagged-unions monad-transformers algebraic-data-types function-composition functional-programming
Created 2018-02-21
3,754 commits to master branch, last one 29 days ago
rpominov
fun-task rpominov
18
373
mit
12
Abstraction for managing asynchronous code in JS
fp task async monad future promise functional-programming
Created 2016-06-03
153 commits to master branch, last one 2 years ago
haskell
mtl haskell
63
358
other
22
The Monad Transformer Library
monad haskell monad-transformers
Created 2012-01-25
192 commits to master branch, last one about a year ago
TeaEntityLab
fpGo TeaEntityLab
22
343
mit
9
Monad, Functional Programming features for Golang
curry monad golang monads pubsub stream currying optional reactive sum-types collection actor-model golang-library pattern-matching publisher-subscriber reactive-programming functional-programming optional-implementations publisher-subscriber-pattern functional-reactive-programming
Created 2018-05-24
238 commits to master branch, last one 6 months ago
awto
effectfuljs awto
14
328
mit
17
JavaScript embedded effects compiler
babel monad javascript babel-plugin continuation monadic-interface javascript-transpiler
Created 2016-05-14
445 commits to main branch, last one 9 months ago
typelevel
cats-mtl typelevel
61
306
other
19
cats transformer type classes.
cats monad typeclasses functional-programming transformer-typeclasses
Created 2017-04-23
1,051 commits to main branch, last one 3 days ago