This is stars and forks stats for /jwiegley/category-theory repository. As of 29 Apr, 2024 this repository has 703 stars and 65 forks.
Category Theory in Coq This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories. Versions used: Coq 8.14.1, 8.15.2, 8.16+rc1. Some parts depend on Coq-Equations 1.2.4, 1.3. Usage It is recommended to include this library in your developments by adding the following to your _CoqProject file: -R <path to this library> Category Then include the primary...
Category Theory in Coq This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories. Versions used: Coq 8.14.1, 8.15.2, 8.16+rc1. Some parts depend on Coq-Equations 1.2.4, 1.3. Usage It is recommended to include this library in your developments by adding the following to your _CoqProject file: -R <path to this library> Category Then include the primary...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
IBM/FormalML | CoqOther | 60 | 0 | 17 | 0 |
WoodenTucker/40K-Eipharius | DMHTMLPython | 9 | 0 | 82 | 0 |
JuDFTteam/JuKKR | FortranTeXForth | 5 | 0 | 2 | 0 |
NixOS/nixos-homepage | LessXSLTJavaScript | 211 | 0 | 271 | 0 |
Tencent/lemon-cleaner | Objective-CCObjective-C++ | 5k | 0 | 725 | 0 |
OpenFAST/r-test | RoffF*Fortran | 38 | 0 | 78 | 0 |
twbs/bootstrap-rubygem | SCSSJavaScriptRuby | 2k | 0 | 457 | 0 |
iancoleman/bip39 | JavaScriptHTMLOther | 3k | 0 | 1.4k | 0 |
deaaprizal/laract9 | PHPJavaScriptBlade | 187 | 0 | 129 | 0 |
koillection/koillection | PHPTwigJavaScript | 372 | 0 | 19 | 0 |