73 results found Sort:

louthy
language-ext louthy
431
6.7k
mit
184
C# pure functional programming framework - come and get declarative!
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,779 commits to main branch, last one 4 days ago
samber
mo samber
94
2.9k
mit
20
πŸ¦„ 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
134 commits to master branch, last one 17 days ago
llh911001
mostly-adequate-guide-chinese llh911001
335
2.5k
other
74
ε‡½ζ•°εΌηΌ–η¨‹ζŒ‡ε—δΈ­ζ–‡η‰ˆ
curry monad functor functional-js functional-programming
Created 2015-07-16
167 commits to master branch, last one 2 years ago
fluture-js
Fluture fluture-js
84
2.5k
mit
24
πŸ¦‹ 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 about a year ago
IBM
fp-go IBM
51
1.8k
apache-2.0
19
functional programming library for golang
go monad golang library utility functional-programming
Created 2023-07-05
311 commits to main branch, last one 26 days ago
functionaljava
functionaljava functionaljava
253
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 3 years ago
evilsoft
crocks evilsoft
102
1.6k
isc
37
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
gigobyte
purify gigobyte
60
1.6k
isc
10
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,134 commits to master branch, last one a day ago
JasonShin
fp-core.rs JasonShin
65
1.4k
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 5 years ago
aol
cyclops aol
137
1.3k
apache-2.0
99
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
61
1.2k
mit
29
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 3 years ago
mobily
ts-belt mobily
30
1.1k
mit
16
πŸ”§ 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 2 years ago
michaelbull
kotlin-result michaelbull
68
1.1k
isc
15
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
428 commits to master branch, last one 10 days ago
getify
monio getify
59
1.1k
mit
25
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
204 commits to master branch, last one a day ago
thma
LtuPatternFactory thma
37
999
apache-2.0
25
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 3 years ago
palatable
lambda palatable
85
871
mit
41
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
niltok
magic-in-ten-mins niltok
38
803
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 about a year ago
dry-rb
dry-monads dry-rb
141
788
mit
25
Useful, common monads in idiomatic Ruby
gem ruby monad dry-rb rubygem functional-programming
Created 2016-04-22
956 commits to main branch, last one 7 days ago
fantasyland
static-land fantasyland
41
775
mit
22
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 5 years ago
jwiegley
category-theory jwiegley
72
767
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,552 commits to master branch, last one 19 days ago
bow-swift
bow bow-swift
33
651
other
19
🏹 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 3 years ago
atnos-org
eff atnos-org
79
588
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,378 commits to master branch, last one 3 days ago
uncomplicate
fluokitten uncomplicate
35
470
epl-1.0
19
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 11 months ago
cbowdon
TsMonad cbowdon
36
392
mit
10
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 5 years ago
robotroutine
scriptum robotroutine
20
381
mit
14
No-Frills Functional Programming Lib Augmenting Javascript/Node.js
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,871 commits to master branch, last one 19 hours ago
haskell
mtl haskell
67
376
other
23
The Monad Transformer Library
monad haskell monad-transformers
Created 2012-01-25
192 commits to master branch, last one 2 years 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
TeaEntityLab
fpGo TeaEntityLab
22
350
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
239 commits to master branch, last one 5 months ago
awto
effectfuljs awto
14
340
mit
17
JavaScript embedded effects compiler
babel monad javascript babel-plugin continuation monadic-interface javascript-transpiler
Created 2016-05-14
470 commits to main branch, last one 13 days ago
Rusher-spec
Monad-Bot Rusher-spec
0
309
bsl-1.0
1
Monad-BOT is an advanced blockchain automation platform tailored to seamlessly engage with cryptocurrency services, focusing on tasks such as token swapping and staking. Its intuitive dashboard offers...
monad monad-bot monad-soft monad-tool monad-autom monad-chain monad-score monad-types monad-script monad-airdrop monad-network monad-testnet monad-automation monad-decentralized monad-airdrop-access monad-crypto-airdrop monad-token-earnings monad-crypto-event-launch
Created 2025-04-06
3 commits to main branch, last one 5 days ago