|
Clojure |
930 |
Category Theory and Algebraic abstractions for Clojure and ClojureScript. |
May 19, 2023 |
|
Go |
3 |
Category theory abstractions for Go |
Jun 13, 2022 |
|
JavaScript |
5 |
Algebraic structures and category theory definitions in JavaScript |
Jan 28, 2023 |
|
Scala |
367 |
Abstractions from Category theory with simple description & implementation, links to further resources. |
Apr 17, 2023 |
|
Scala |
5 |
Profunctor optics in Scala, arrows, modular approach to abstractions in category theory |
Mar 09, 2023 |
|
GAP |
2 |
ALgebraic NUmber THeory for GAP |
Jan 27, 2022 |
|
Agda |
28 |
Category theory and algebra |
Jun 14, 2022 |
|
Julia |
143 |
Computational algebraic number theory |
Aug 18, 2022 |
|
Python |
269 |
Algebraic Number Theory package |
Mar 30, 2023 |
|
Java |
140 |
Clojure and Clojurescript support for Gradle |
Aug 30, 2022 |
|
Clojure |
39 |
Utility library for Clojure and ClojureScript |
Apr 15, 2023 |
|
Clojure |
84 |
Functional references for Clojure and ClojureScript |
Apr 15, 2023 |
|
Clojure |
41 |
Traverse and rewrite Clojure/ClojureScript/EDN from ClojureScript |
May 18, 2022 |
|
TeX |
14 |
Directed type theory for formal category theory |
Nov 25, 2021 |
|
Julia |
5 |
Category Theory Framework |
Mar 07, 2023 |
|
C |
57 |
Algebraic Number Theory In C |
Apr 25, 2023 |
|
Clojure |
229 |
An FRP library for Clojure and ClojureScript |
Mar 29, 2023 |
|
Clojure |
614 |
A graph store for Clojure and ClojureScript |
Apr 13, 2023 |
|
Clojure |
25 |
A core.matrix library for Clojure and Clojurescript. |
Apr 08, 2021 |
|
Clojure |
31 |
Functional statecharts implementation for Clojure and ClojureScript. |
Jul 13, 2022 |
|
Clojure |
41 |
Hierarchical Timing Wheels for Clojure and ClojureScript |
Jun 09, 2022 |
|
Clojure |
172 |
GraphQL client library for Clojure and ClojureScript |
Jun 06, 2022 |
|
Clojure |
4 |
Collision-resistant ids for clojure and clojurescript. |
Jun 23, 2022 |
|
Clojure |
53 |
Apache Avro library for Clojure and ClojureScript |
Apr 24, 2023 |
|
Clojure |
4 |
Benchmarking helpers for Clojure & Clojurescript |
Nov 03, 2020 |
|
Clojure |
2 |
text/gemini for clojure/clojurescript |
Nov 06, 2022 |
|
Clojure |
5 |
Isomorphic RPC for Clojure + Clojurescript |
May 01, 2023 |
|
HTML |
153 |
Cheatsheets and information for Clojure/JVM and ClojureScript |
Apr 02, 2023 |
|
Agda |
2 |
For experiments in category theory |
Jul 29, 2023 |
|
Clojure |
115 |
A sample Clojure CLI project containing Clojure and ClojureScript |
Apr 17, 2023 |
|
Clojure |
482 |
A Clojure and ClojureScript game library |
May 21, 2023 |
|
GAP |
4 |
Algebraic graph theory: A GAP package |
Mar 04, 2022 |
|
TypeScript |
5 |
Category Theory in TypeScript |
Jan 07, 2021 |
|
Agda |
8 |
Category Theory in Agda |
Nov 02, 2019 |
|
Agda |
3 |
Some basic category theory |
Apr 09, 2018 |
|
Haskell |
7 |
Musings on category theory |
Dec 19, 2022 |
|
None |
6 |
Active Inference & Category Theory |
Aug 20, 2023 |
|
Clojure |
6 |
feedback based flow control for clojure and clojurescript |
Feb 27, 2021 |
|
Clojure |
8 |
A small stubbing library for Clojure and ClojureScript |
Mar 28, 2019 |
|
Clojure |
52 |
A parser combinator library for Clojure and ClojureScript |
Jul 07, 2022 |
|
Clojure |
203 |
Rails-like inflection library for Clojure and ClojureScript |
Feb 04, 2023 |
|
Clojure |
10 |
Minimal core.async inspector library for Clojure and ClojureScript |
Dec 01, 2020 |
|
Clojure |
16 |
Simple Clojure and ClojureScript library for WebSocket communication |
Apr 14, 2023 |
|
Clojure |
14 |
A simple validation library for Clojure and ClojureScript |
Jan 20, 2023 |
|
Clojure |
10 |
An undo/redo system for Clojure and ClojureScript |
Jan 28, 2023 |
|
None |
3 |
Notes and exercises reading Category Theory for Programmers |
Feb 28, 2021 |
|
C |
32 |
Clojure / ClojureScript grammar for tree-sitter |
Dec 07, 2022 |
|
Clojure |
2 |
A HTTP library for Clojure & ClojureScript. |
Jan 10, 2017 |
|
Clojure |
208 |
A Clojure & ClojureScript DSL for SQL |
Apr 15, 2023 |
|
None |
2 |
A Clojure & ClojureScript DSL for SQL |
Dec 02, 2019 |