fluokitten
Category theory library
A Clojure library implementing category theory concepts for functional programming
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
467 stars
20 watching
35 forks
Language: Clojure
last commit: 6 months ago
Linked from 1 awesome list
category-theoryclojureclojure-libraryfunctormonadmonoid
razum2um/awesome-clojureRelated projects:
| Repository | Description | Stars |
|---|---|---|
 funcool/cats | Provides higher-order abstractions for category theory and algebraic structures in Clojure and ClojureScript. | 941 |
 jwiegley/category-theory | An axiomatic formalization of category theory in Coq for personal study and practical work | 754 |
 jcouyang/cat.js | A JavaScript implementation of category theory concepts with various monad and functor classes. | 14 |
 khinsen/monads-in-clojure | An introduction to monads in Clojure, covering the basics of this functional programming concept. | 223 |
 clojure/algo.monads | A Clojure-based library providing macros and definitions for common data monads. | 448 |
| uncomplicate/clojurecl | A Clojure library that enables parallel computations on GPU using OpenCL | 277 |
 clj-commons/manifold | A compatibility layer for event-driven abstractions | 1,021 |
 mplatvoet/funktional | A Kotlin implementation of monadic types for functional programming. | 10 |
 williamdemeo/typefunc | Collects links and resources on type theory and functional programming. | 309 |
 amintimany/categories | An implementation of category theory in the Coq proof assistant. | 93 |
 replikativ/konserve | A protocol for building asynchronous, thread-safe, and consistent key-value stores with low overhead | 301 |
 fhd/clostache | A Mustache templating library for Clojure. | 318 |
 joshuaeckroth/clj-ml | A Clojure library for building machine learning models on top of Weka and other algorithms | 136 |
| funcool/clojure.jdbc | A Clojure library that simplifies the interaction with relational databases using JDBC. | 105 |
| clojure/core.async | A Clojure library providing facilities for concurrent programming and communication. | 1,956 |