Projects in Awesome Lists tagged with monoids
A curated list of projects in awesome lists tagged with monoids .
https://github.com/thma/ltupatternfactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
builder-pattern category-theory design-patterns factory-pattern function-composition functional-languages functor functors gof-patterns haskell iterator-pattern monad monad-transformers monoids pattern-language reader-monad strategy-pattern traversable typeclasses typeclassopedia
Last synced: 16 May 2025
https://github.com/thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
builder-pattern category-theory design-patterns factory-pattern function-composition functional-languages functor functors gof-patterns haskell iterator-pattern monad monad-transformers monoids pattern-language reader-monad strategy-pattern traversable typeclasses typeclassopedia
Last synced: 30 Apr 2025
https://github.com/rametta/pratica
🥃 Functional Algebraic Data Types
fp functional-programming monads monoids typescript utilities
Last synced: 16 May 2025
https://github.com/thautwarm/fstan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
functional-programming higher-kinded-types monad monoids subtypeclassing typeclasses
Last synced: 11 Aug 2025
https://github.com/TheCedarPrince/C3T
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
categories category-theory julia-language literate-programming mathematics monoids orders
Last synced: 19 Jul 2025
https://github.com/thecedarprince/c3t
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
categories category-theory julia-language literate-programming mathematics monoids orders
Last synced: 12 Jun 2025
https://github.com/annenkov/trace-monoids
Trace monoids in Cubical Agda
concurrency homotopy-type-theory monoids partially-commutative-monoids trace-monoids
Last synced: 21 Feb 2026
https://github.com/kalmarek/groupscore.jl
Interface for abstract groups
algebra conformance-testing group-theory groups monoids
Last synced: 01 Mar 2025
https://github.com/functional-abstraction/measure
:straight_ruler: Monoids and measures for JavaScript
agpl data-structures functional javascript measures monoids
Last synced: 12 Dec 2025
https://github.com/mtumilowicz/scala213-functional-programming-functor-monoid-monad-workshop
Functor, Monoid, Monads in practice.
applicative-functors functional-programming functors monad-laws monoids scala workshop workshop-materials
Last synced: 18 Feb 2026
https://github.com/unosd/resultmonad
C# implementation of the result and other monads with query syntax support and extensions for Tasks and IEnumerable
async csharp functional functional-programming functor functors monad monads monoid monoids netcore2 netstandard result task tpl
Last synced: 27 May 2026
https://github.com/marlycormar/find_u_k
R script that finds $U_k$ for a specific Puiseux monoid.
elasticities factorization-theory monoids puiseux r union-of-set-of-lengths
Last synced: 27 Mar 2025
https://github.com/morphic-symplexis/morphic-symplexis
A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.
applied-category-theory category-theory coq cosmos csharp dotnet dotnet-core formal-verification fsharp groupoids hylomorphisms lean4 metatheory monoidal-categories monoids rocq theorem-proving topos topos-theory type-theory
Last synced: 20 Apr 2026
https://github.com/kabeech/monads-are-easy
A brief cheatsheet for monads and related concepts
category-theory endofunctors functional-programming functor functors haskell haskell-learning monad monads monoid monoids type-theory
Last synced: 03 Mar 2025
https://github.com/sjbiaga/kittens
Lessons of Scala Cats
cats continuations corecursion defer eval fail-fast-semantics functors kleisli monad-transformers monoids natural-transformations recursion sbt scala-cli stack-safety trampoline traverse variance
Last synced: 30 Oct 2025
https://github.com/rsdc2/haskell-odt-writer
Interface for composing and writing OpenDocument Text (.odt) files in Haskell
haskell monads monoids opendocument-text-document writer
Last synced: 04 Apr 2025
https://github.com/diego15wp/functional_programming_tinkering
Building Foundational Knowledge on Functional Programming
corecursion functors lambda-functions monads monoids purefunctions referentialtransparency scala
Last synced: 24 Mar 2025
