17 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
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
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
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
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
Risto-Stevcev
bastet Risto-Stevcev
26
213
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
85
192
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 11 months ago
mahmoudparsian
big-data-mapreduce-course mahmoudparsian
142
146
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
868 commits to master branch, last one 11 days ago
cicada-lang
inet-cute cicada-lang
2
129
gpl-3.0
1
An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.
inet graph monoid 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,115 commits to master branch, last one 20 days ago
functionalland
functional functionalland
2
109
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 2 years ago
benwr
bromberg_sl2 benwr
6
52
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