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

🥃 Functional Algebraic Data Types

A curated list of awesome Category Theory resources.

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

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

The GAP package Semigroups

Utilities for generic functional programming

Algebraic data types Rust-style for Typescript

Basic mathematics library

Trace monoids in Cubical Agda

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

Functional programming style in Java

Interface for abstract groups

📏 Monoids and measures for JavaScript

C# implementation of the result and other monads with query syntax support and extensions for Tasks and IEnumerable

Projetos desenvolvidos utilizando a linguagem Haskell para a matéria "Tópicos Especiais de Sistemas para Internet III" da Fatec Rubens Lara.

Functor, Monoid, Monads in practice.

5 - Monoid

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

Studying monads in Scala