monoid topic
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Monoidz-kata
Various kata & content to learn and practice design with monoidz inside
fp-core.rs
A library for functional programming in Rust
bastet
A ReasonML/Ocaml library for category theory and abstract algebra
static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
functional
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
language-ext
C# functional language extensions - a base class library for functional programming
mo
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
cyclops
An advanced, but easy to use, platform for writing functional applications in Java 8.
functionaljava
Functional programming in Java