Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 12 Agda Category Theory Open Source Projects

Open source projects categorized as Agda Category Theory
Categories > Agda
Categories > Mathematics > Category Theory
Agda Categories ⭐ 341
A new Categories library for Agda
most recent commit 3 months ago
Agda Unimath ⭐ 196
The agda-unimath library
most recent commit 3 months ago
Categories ⭐ 134
Categories parametrized by morphism equality, in Agda
most recent commit 5 years ago
Cat ⭐ 46
A formalization of category theory in cubical Agda
most recent commit 4 years ago
Homotopy ⭐ 24
My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
most recent commit 10 years ago
Cain ⭐ 23
Category theory applied to functional programming (undergraduate project)
most recent commit 5 years ago
Ctlc ⭐ 23
(λ) Category theory and lambda calculus, Bachelor's thesis
most recent commit 5 years ago
Cat ⭐ 16
A categorical semantics library in Agda.
most recent commit 4 years ago
Categorical Automata ⭐ 15
Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272
most recent commit a year ago
Agda_category_theory ⭐ 14
Formalization of category theory in Agda
most recent commit a year ago
Realizability ⭐ 10
Experiments with Realizability in Univalent Type Theory
most recent commit 3 months ago
Abel ⭐ 8
Category theory applied to functional programming
most recent commit 8 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.