1.samber / mo🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)catseitherfpfunctionalfuturegenerics+13 moreGoMIT3.4K total123 forks+5 starsfrom 3,428 · score 1.79
2.louthy / language-extC# pure functional programming framework - come and get declarative!c-sharpfunctional-languagesmonadsmonad-transformersimmutable-collectionshigher-kinded-types+14 moreC#MIT7.1K total447 forks+2 starsfrom 7,081 · score 1.10
3.jwiegley / category-theoryAn axiom-free formalization of category theory in Coq for personal study and practical workcategory-theorycoqmonadprofunctorcomonadsmonoid+7 moreRocq ProverBSD-3-CLAUSE819 total85 forks+2 starsfrom 817 · score 1.10