|
OCaml |
211 |
A ReasonML/Ocaml library for category theory and abstract algebra |
Jun 11, 2022 |
|
Julia |
5 |
Category Theory Framework |
Mar 07, 2023 |
|
TeX |
14 |
Directed type theory for formal category theory |
Nov 25, 2021 |
|
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 |
|
TeX |
17 |
Theory for algebra summer exam |
May 14, 2022 |
|
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 |
|
JavaScript |
4 |
computer algebra system for knot theory |
Jun 30, 2021 |
|
TeX |
71 |
Mathematica Theory of Computer Algebra System |
Jun 09, 2022 |
|
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 |
|
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 |
|
Agda |
36 |
(λ) Category theory and lambda calculus, Bachelor's thesis |
Feb 06, 2023 |
|
Clojure |
4 |
Category Theory and Algebraic abstractions for Clojure and ClojureScript. |
May 26, 2021 |
|
Clojure |
930 |
Category Theory and Algebraic abstractions for Clojure and ClojureScript. |
May 19, 2023 |
|
Agda |
4 |
A statically typed dimensional analysis calculator written in Agda. |
Apr 12, 2020 |
|
Agda |
4 |
Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of … |
Aug 03, 2022 |
|
Agda |
4 |
None |
Aug 02, 2019 |
|
Agda |
4 |
Agda proofs of the HoTT book exercises |
Dec 27, 2018 |
|
Agda |
4 |
None |
Oct 15, 2020 |
|
Agda |
4 |
A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation |
Apr 01, 2021 |
|
Agda |
4 |
None |
Jan 15, 2022 |
|
Agda |
4 |
mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper |
Dec 19, 2021 |
|
Agda |
5 |
An Agda proof of the fact that the smash product is a 1-coherent monoidal product … |
Oct 09, 2018 |
|
Agda |
5 |
Sheaves in Agda (will be superseded by https://github.com/jonsterling/constructive-sheaf-semantics which has sheaves on a site) |
May 08, 2015 |
|
Agda |
5 |
Agda library for verifying neural networks. |
Jul 09, 2022 |
|
Agda |
5 |
Agda bindings for low-level datatypes such as raw naturals and bytestrings |
Oct 24, 2019 |
|
Agda |
5 |
None |
Dec 03, 2021 |
|
Agda |
5 |
Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library. |
Aug 11, 2014 |
|
Agda |
6 |
Formalization of the James construction in Agda |
Nov 16, 2018 |
|
Agda |
6 |
None |
Jun 10, 2019 |
|
Agda |
6 |
An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions |
May 22, 2021 |
denotational-arithmetic-zurihac
|
Agda |
6 |
None |
Aug 01, 2022 |
|
Agda |
6 |
An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in … |
May 05, 2022 |
|
Agda |
6 |
Categories parametrized by morphism equality, in Agda |
Mar 20, 2019 |
|
Agda |
7 |
An Agda library for turning equations into bijections using the translation method |
Nov 10, 2020 |
|
Agda |
7 |
Abstract binding trees in Agda |
Jan 17, 2022 |
|
Agda |
7 |
some "modernized" brouwerian mathematics, inspired by Hancock, Ghani & Pattinson |
Sep 02, 2021 |
|
Agda |
7 |
Implementation of McBride's "First-order unification by structural recursion" in Agda. |
Jul 06, 2020 |
|
Agda |
8 |
Course material of the autumn school "Proof and Computation", 20-26 September 2019, Herrsching, Germany |
Apr 18, 2020 |
|
Agda |
8 |
Agda sources used in my paper with Valeria de Paiva |
Apr 27, 2022 |