17 results found Sort:

louthy
language-ext louthy
422
6.5k
mit
182
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,658 commits to main branch, last one 3 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
130 commits to master branch, last one 2 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
JasonShin
fp-core.rs JasonShin
66
1.3k
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
palatable
lambda palatable
85
865
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
41
772
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
69
754
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,545 commits to master branch, last one 2 days ago
uncomplicate
fluokitten uncomplicate
35
467
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
Risto-Stevcev
bastet Risto-Stevcev
26
211
bsd-3-clause
12
A ReasonML/Ocaml library for category theory and abstract algebra
monad monoid reason theory algebra prelude abstract category reasonml semiring semigroup bucklescript semigroupoid category-theory abstract-algebra
This repository has been archived (exclude archived)
Created 2017-12-27
210 commits to master branch, last one 3 years ago
mahmoudparsian
data-algorithms-with-spark mahmoudparsian
90
209
unknown
14
O'Reilly Book: [Data Algorithms with Spark] by Mahmoud Parsian
rdd data spark design monoid python bigdata mappers pyspark reducers mapreduce algorithms dataframes data-algorithms design-patterns transformations machine-learning data-abstractions data-transformation partitioning-algorithms
Created 2019-12-10
479 commits to master branch, last one about a year ago
mahmoudparsian
big-data-mapreduce-course mahmoudparsian
143
154
unknown
30
Big Data Modeling, MapReduce, Spark, PySpark @ Santa Clara University
monoid pyspark big-data glossary mapreduce spark-rdd algorithms apache-spark apache-hadoop data-analysis data-partition data-algorithms data-engineering mapreduce-python spark-dataframes data-transformation mapreduce-algorithm santa-clara-university partitioning-algorithms pyspark-algorithms-book
Created 2014-12-04
919 commits to master branch, last one 8 days ago
cicada-lang
inet-cute cicada-lang
3
131
gpl-3.0
1
An implementation of interaction nets in JS.
inet graph monoid ascii-art interpreter stack-based language-design graph-processing interaction-nets postfix-notation undirected-graph computation-model programming-language programming-language-design programming-language-concepts programming-language-development
Created 2022-02-13
1,138 commits to master branch, last one a day ago
functionalland
functional functionalland
2
112
mit
6
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
deno fold task maybe either monoid browser functor denoland io-monad functional task-monad maybe-monad catamorphism either-monad category-theory algebraic-data-types functional-programming
Created 2020-08-18
43 commits to main branch, last one 3 years ago
kowainik
treap kowainik
1
63
mpl-2.0
7
:leaves: :deciduous_tree: :fallen_leaf: Efficient implementation of the implicit treap data structure
tree treap monoid haskell algorithms homomorphism datastructure
Created 2019-03-25
28 commits to master branch, last one 3 years ago
benwr
bromberg_sl2 benwr
6
54
cc0-1.0
6
Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
sl2 hash monoid hashing monoidal homomorphic tillich-zemor matrix-multiplication
Created 2020-11-24
58 commits to master branch, last one 2 years ago