🥃 Functional Algebraic Data Types
- functional-programming
- monads
- monoids
- utilities
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
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