This is stars and forks stats for /elpinal/ucat repository. As of 26 Apr, 2024 this repository has 9 stars and 0 forks.
ucat Univalent categories, displayed categories, and fibrations. References The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. 2013. https://homotopytypetheory.org/book Benedikt Ahrens, Chris Kapulkin, and Michael Shulman. Univalent categories and the Rezk completion. Mathematical Structures in Computer Science, Volume 25, Special Issue 5, 2015. https://doi.org/10.1017/S0960129514000486 Amélia Liao. Univalent Category Theory. Homotopy Type Theory Electronic...
ucat Univalent categories, displayed categories, and fibrations. References The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. 2013. https://homotopytypetheory.org/book Benedikt Ahrens, Chris Kapulkin, and Michael Shulman. Univalent categories and the Rezk completion. Mathematical Structures in Computer Science, Volume 25, Special Issue 5, 2015. https://doi.org/10.1017/S0960129514000486 Amélia Liao. Univalent Category Theory. Homotopy Type Theory Electronic...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| AndrasKovacs/elaboration-zoo | HaskellAgda | 517 | 0 | 30 | 0 |
| FrozenWinters/SSTs | Agda | 22 | 0 | 0 | 0 |
| martinescardo/TypeTopology | AgdaTeXMakefile | 187 | 0 | 30 | 0 |
| conal/felix | Agda | 35 | 0 | 3 | 0 |
| jespercockx/agda-core | Agda | 9 | 0 | 0 | 0 |
| jespercockx/scopes-n-roses | Agda | 2 | 0 | 0 | 0 |
| iwilare/categorical-automata | Agda | 15 | 0 | 1 | 0 |
| sergei-romanenko/agda-simple-scp | AgdaCoq | 28 | 0 | 2 | 0 |
| DSLsofMath/DSLsofMath | HaskellTeXHTML | 382 | 0 | 48 | 0 |
| foones/dharma | CoqPythonC | 0 | 0 | 0 | 0 |