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.
468 stars
20 watching
35 forks
Language: Clojure
last commit: 8 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. | 944 |
 jwiegley/category-theory | An axiomatic formalization of category theory in Coq for personal study and practical work | 759 |
 jcouyang/cat.js | A JavaScript implementation of category theory concepts with various monad and functor classes. | 15 |
 khinsen/monads-in-clojure | An introduction to monads in Clojure, covering the basics of this functional programming concept. | 224 |
 clojure/algo.monads | A Clojure-based library providing macros and definitions for common data monads. | 446 |
| uncomplicate/clojurecl | A Clojure library that enables parallel computations on GPU using OpenCL | 278 |
 clj-commons/manifold | A compatibility layer for event-driven abstractions | 1,022 |
 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. | 94 |
 replikativ/konserve | A protocol for building asynchronous, thread-safe, and consistent key-value stores with low overhead | 300 |
 fhd/clostache | A Mustache templating library for Clojure. | 319 |
 joshuaeckroth/clj-ml | A Clojure library for building machine learning models on top of Weka and other algorithms | 135 |
| funcool/clojure.jdbc | A Clojure library that simplifies the interaction with relational databases using JDBC. | 105 |
| clojure/core.async | Provides facilities for asynchronous programming and communication in Clojure | 1,956 |