This is stars and forks stats for /coq-community/topology repository. As of 18 Apr, 2024 this repository has 44 stars and 10 forks.
Topology This library develops some of the basic concepts and results of general topology in Coq. Meta Author(s): Daniel Schepler (initial) Coq-community maintainer(s): Andrew Miloradovsky (@amiloradovsky) stop-cran (@stop-cran) Columbus240 (@Columbus240) License: GNU Lesser General Public License v2.1 or later Compatible Coq versions: Coq 8.12 or later (use the corresponding branch or release for other Coq versions) Additional dependencies: Zorn's Lemma (set library that is part of this repository) Coq...
Topology This library develops some of the basic concepts and results of general topology in Coq. Meta Author(s): Daniel Schepler (initial) Coq-community maintainer(s): Andrew Miloradovsky (@amiloradovsky) stop-cran (@stop-cran) Columbus240 (@Columbus240) License: GNU Lesser General Public License v2.1 or later Compatible Coq versions: Coq 8.12 or later (use the corresponding branch or release for other Coq versions) Additional dependencies: Zorn's Lemma (set library that is part of this repository) Coq...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
PrincetonUniversity/VST | CoqCOCaml | 398 | 0 | 87 | 0 |
emacs-evil/evil-surround | Emacs LispMakefile | 586 | -1 | 58 | 0 |
joddie/macrostep | Emacs LispMakefile | 201 | 0 | 24 | 0 |
alexellis/k3sup | GoShellMakefile | 5.5k | +22 | 352 | +1 |
eldadru/ksniff | GoMakefileShell | 2.9k | 0 | 174 | 0 |
binwiederhier/ntfy | GoJavaScriptMakefile | 14.2k | 0 | 512 | 0 |
stateless-minds/cyber-stasis | GoCSSMakefile | 119 | +1 | 3 | 0 |
heroku/pack-images | JavaTypeScriptJavaScript | 47 | 0 | 15 | 0 |
LineageOS/android_device_lineage_sepolicy | Makefile | 6 | 0 | 117 | 0 |
LineageOS/android_device_qcom_sepolicy_vndr | Makefile | 1 | 0 | 34 | 0 |