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

• UpdatedJan 17, 2024
• Haskell

🥃 Functional Algebraic Data Types

• UpdatedJun 5, 2024
• TypeScript

A curated list of awesome Category Theory resources.

• UpdatedFeb 24, 2024

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

• UpdatedJun 2, 2019
• F#

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

• UpdatedApr 24, 2023
• TeX

The GAP package Semigroups

• UpdatedMar 24, 2025
• GAP

Utilities for generic functional programming

• UpdatedApr 21, 2023
• JavaScript

Algebraic data types Rust-style for Typescript

• UpdatedNov 8, 2024
• TypeScript

Basic mathematics library

• UpdatedFeb 16, 2025
• Haskell

Trace monoids in Cubical Agda

• UpdatedFeb 29, 2024
• Agda

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

• UpdatedMar 21, 2025
• C++

Functional programming style in Java

• UpdatedJun 15, 2018
• Java

Interface for abstract groups

• UpdatedNov 19, 2024
• Julia

📏 Monoids and measures for JavaScript

• UpdatedMar 13, 2025
• JavaScript

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

• UpdatedAug 19, 2018
• C#

5 - Monoid

• UpdatedNov 19, 2017
• Kotlin

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

• UpdatedAug 23, 2019
• R

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

• UpdatedFeb 1, 2017
• Haskell

Functor, Monoid, Monads in practice.

• UpdatedJan 15, 2025
• Scala

Studying monads in Scala

• UpdatedFeb 12, 2020
• Scala