samber / mo

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

FStarLang / FStar

A Proof-oriented Programming Language

louthy / language-ext

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

arrow-kt / arrow

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

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.

polysemy-research / polysemy

:gemini: higher-order, no-boilerplate monads

dry-rb / dry-monads

Useful, common monads in idiomatic Ruby

jwiegley / category-theory

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