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: over 1 year ago
Linked from 1 awesome list
category-theoryclojureclojure-libraryfunctormonadmonoid
Related projects:
| Repository | Description | Stars |
|---|---|---|
| | Provides higher-order abstractions for category theory and algebraic structures in Clojure and ClojureScript. | 944 |
| | An axiomatic formalization of category theory in Coq for personal study and practical work | 759 |
| | A JavaScript implementation of category theory concepts with various monad and functor classes. | 15 |
| | An introduction to monads in Clojure, covering the basics of this functional programming concept. | 224 |
| | A Clojure-based library providing macros and definitions for common data monads. | 446 |
| | A Clojure library that enables parallel computations on GPU using OpenCL | 278 |
| | A compatibility layer for event-driven abstractions | 1,022 |
| | A Kotlin implementation of monadic types for functional programming. | 10 |
| | Collects links and resources on type theory and functional programming. | 309 |
| | An implementation of category theory in the Coq proof assistant. | 94 |
| | A protocol for building asynchronous, thread-safe, and consistent key-value stores with low overhead | 300 |
| | A Mustache templating library for Clojure. | 319 |
| | A Clojure library for building machine learning models on top of Weka and other algorithms | 135 |
| | A Clojure library that simplifies the interaction with relational databases using JDBC. | 105 |
| | Provides facilities for asynchronous programming and communication in Clojure | 1,956 |