samber / mo

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

louthy / language-ext

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

jwiegley / category-theory

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

gamonoid / icehrm

Manage your employees easily with a robust and efficient Human Resource Management System

digitallyinduced / haskell-agent

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