|
|
Julia |
5 |
Category Theory Framework |
Mar 07, 2023 |
|
|
TeX |
14 |
Directed type theory for formal category theory |
Nov 25, 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 |
|
|
Agda |
28 |
Category theory and algebra |
Jun 14, 2022 |
|
|
None |
6 |
Active Inference & Category Theory |
Aug 20, 2023 |
|
|
PureScript |
9 |
Explaining category theory by example |
Feb 17, 2018 |
|
|
Go |
3 |
Category theory abstractions for Go |
Jun 13, 2022 |
|
|
TeX |
2 |
Some notes about Category Theory. |
Jan 10, 2023 |
|
|
Scala |
4 |
A challenge about category theory |
Nov 15, 2022 |
|
|
Clojure |
2 |
Some category theory concepts, demonstrated. |
Mar 20, 2017 |
|
|
Agda |
2 |
For experiments in category theory |
Jul 29, 2023 |
|
|
Agda |
13 |
Formalization of category theory in Agda |
Oct 18, 2022 |
|
|
TeX |
28 |
A mini-book on category theory. |
Aug 07, 2022 |
|
|
Coq |
2 |
Formalization of Setoids-enriched Category Theory |
May 25, 2018 |
|
|
Agda |
6 |
Category theory applied to functional programming |
Jun 02, 2020 |
|
|
None |
49 |
introduction to category theory in scalajp |
Jun 01, 2022 |
|
|
D |
2 |
Category theory types inspired from Haskell |
Mar 11, 2019 |
|
|
None |
23 |
Category theory for programmers lecture notes |
Jan 12, 2023 |
|
|
Agda |
20 |
Category theory formalized in cubical agda |
Dec 23, 2022 |
|
|
Scala |
118 |
Workshop Pragmatic Introduction to Category Theory |
Apr 29, 2023 |
|
|
Haskell |
105 |
Challenges from Category Theory for Programmers |
Mar 21, 2023 |
|
|
Rust |
3 |
Category Theory Solver for Commutative Diagrams |
Jun 26, 2023 |
|
|
TeX |
26 |
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. … |
Sep 10, 2022 |
|
|
None |
96 |
List of resources for learning Category Theory |
Nov 18, 2022 |
|
|
Agda |
2 |
2022 AMS MRC on Applied Category Theory. |
Aug 13, 2022 |
|
|
PureScript |
48 |
A Prelude with names from category theory |
Apr 29, 2021 |
|
|
C++ |
108 |
OCaml version of Category Theory For Programmers |
May 16, 2022 |
|
|
TeX |
3 |
Documents for the course on Category theory |
Feb 21, 2020 |
|
|
Python |
7 |
Learning platform for category theory in python |
Apr 06, 2023 |
|
|
Coq |
11 |
Category theory in Coq, by Jason Gross |
Mar 08, 2022 |
|
|
Idris |
3 |
Implementation of concepts from Applied Category Theory |
Mar 02, 2023 |
|
|
Rust |
3 |
Another category theory library for Rust [WIP] |
Apr 24, 2023 |
|
|
Agda |
6 |
Experiments in Higher Category Theory in Agda |
Mar 03, 2022 |
|
|
TeX |
8 |
Sources for "Applied Category Theory for Engineering" |
Apr 23, 2023 |
|
|
Lean |
45 |
An experimental category theory library for Lean |
May 08, 2023 |
|
|
Haskell |
124 |
Deep learning via category theory and functional programming |
Nov 18, 2022 |
|
|
None |
3 |
Notes and exercises reading Category Theory for Programmers |
Feb 28, 2021 |
|
|
TeX |
28 |
Category theory applied to functional programming (undergraduate project) |
May 13, 2022 |
|
|
Haskell |
18 |
Category theory concepts in type classes and instances. |
Feb 28, 2023 |
|
|
JavaScript |
5 |
Algebraic structures and category theory definitions in JavaScript |
Jan 28, 2023 |
|
|
Jupyter Notebook |
3 |
Resources for category theory tutorial @ INCOSE IW 2022 |
Feb 15, 2022 |
|
|
Agda |
36 |
(λ) Category theory and lambda calculus, Bachelor's thesis |
Feb 06, 2023 |
|
|
Coq |
22 |
A category theory library built on top of Homotopy Type Theory, by Jason Gross |
Mar 08, 2022 |
|
|
Clojure |
4 |
Category Theory and Algebraic abstractions for Clojure and ClojureScript. |
May 26, 2021 |
|
|
Rust |
2 |
Excersises in applied category theory using rust programming language. |
Jun 22, 2022 |
|
|
Scala |
24 |
an exploration of subtyping-based category theory in scala |
Apr 29, 2020 |
|
|
Erlang |
6 |
Chapters of Category Theory for Programmers inplemented in Erlang |
May 18, 2022 |
|
|
CSS |
2 |
A presentation about some basic concepts of category theory |
Dec 05, 2018 |