jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

louthy / language-ext

C# pure functional programming framework - come and get declarative!

IBM / fp-go

Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult monads, plus optics (Lens, Prism, Traversal) for immutable data manipulation. Supports Functor, Applicative, and Monad abstractions with do-notation-style

true-myth / true-myth

Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.

digitallyinduced / haskell-agent

an agent harness is just a monoid in the category of endofunctors