C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
- cats
- either
- fp
- functional
A collection of well known Algebraic Data Types for your utter enjoyment.
- adt
- predicate-functions
- lift
- unary-functions
An advanced, but easy to use, platform for writing functional applications in Java 8.
- functional-programming
- reactive-streams
- monoid
- streams
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
🥃 Functional Algebraic Data Types
- functional-programming
- monads
- monoids
- utilities
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
- clojure
- category-theory
- clojure-library
- monad
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library