68 results found Sort:

louthy
language-ext louthy
422
6.5k
mit
181
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,662 commits to main branch, last one 5 days ago
samber
mo samber
87
2.7k
mit
19
🦄 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
132 commits to master branch, last one 7 days ago
llh911001
mostly-adequate-guide-chinese llh911001
333
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
83
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 11 months ago
IBM
fp-go IBM
48
1.7k
apache-2.0
20
functional programming library for golang
go monad golang library utility functional-programming
Created 2023-07-05
307 commits to main branch, last one 10 days ago
functionaljava
functionaljava functionaljava
253
1.6k
unknown
85
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
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
59
1.5k
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,125 commits to master branch, last one a day ago
JasonShin
fp-core.rs JasonShin
66
1.4k
mit
40
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
31
1.1k
mit
14
🔧 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
michaelbull
kotlin-result michaelbull
64
1.1k
isc
16
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
419 commits to master branch, last one 15 days ago
getify
monio getify
58
1.1k
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 11 months ago
thma
LtuPatternFactory thma
39
995
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
palatable
lambda palatable
85
866
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
niltok
magic-in-ten-mins niltok
39
789
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
fantasyland
static-land fantasyland
41
771
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 5 years ago
jwiegley
category-theory jwiegley
70
758
bsd-3-clause
20
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,548 commits to master branch, last one 5 days ago
dry-rb
dry-monads dry-rb
138
739
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 11 months ago
bow-swift
bow bow-swift
32
648
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 3 years ago
atnos-org
eff atnos-org
78
581
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,302 commits to master branch, last one 17 hours ago
uncomplicate
fluokitten uncomplicate
35
468
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 6 months 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 5 years ago
kongware
scriptum kongware
21
383
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,800 commits to master branch, last one 7 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
65
367
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
349
mit
10
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 about a month ago
awto
effectfuljs awto
13
334
mit
17
JavaScript embedded effects compiler
babel monad javascript babel-plugin continuation monadic-interface javascript-transpiler
Created 2016-05-14
456 commits to main branch, last one a day ago
typelevel
cats-mtl typelevel
62
311
other
19
cats transformer type classes.
cats monad typeclasses functional-programming transformer-typeclasses
Created 2017-04-23
1,087 commits to main branch, last one 13 days ago