📏 Monoids and measures for JavaScript

Algebraic data types Rust-style for Typescript

The GAP package Semigroups

Basic mathematics library

Building Foundational Knowledge on Functional Programming

🥃 Functional Algebraic Data Types

Functor, Monoid, Monads in practice.

Trace monoids in Cubical Agda

A curated list of awesome Category Theory resources.

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Python bindings for the libsemigroups C++ library for semigroups and monoids

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

Utilities for generic functional programming

monoids API for armor damage and status management

My notes / implementations to Bartosz Milewski's "Category Theory for Programmers"

Studying monads in Scala

R script that finds $U_k$ for a specific Puiseux monoid.

Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long

The repository for the Functional Scala workshop.

counting lines with monoids