This is stars and forks stats for /math-comp/analysis repository. As of 19 Apr, 2024 this repository has 165 stars and 42 forks.
Analysis library compatible with Mathematical Components This repository contains an experimental library for real analysis for the Coq proof-assistant and using the Mathematical Components library. Meta Author(s): Reynald Affeldt (initial) Yves Bertot Cyril Cohen (initial) Marie Kerjean Assia Mahboubi (initial) Damien Rouhling (initial) Pierre Roux Kazuhiko Sakaguchi Zachary Stone Pierre-Yves Strub (initial) Laurent Théry License: CeCILL-C Compatible Coq versions: Coq 8.14 to 8.17 (or dev) Additional...
Analysis library compatible with Mathematical Components This repository contains an experimental library for real analysis for the Coq proof-assistant and using the Mathematical Components library. Meta Author(s): Reynald Affeldt (initial) Yves Bertot Cyril Cohen (initial) Marie Kerjean Assia Mahboubi (initial) Damien Rouhling (initial) Pierre Roux Kazuhiko Sakaguchi Zachary Stone Pierre-Yves Strub (initial) Laurent Théry License: CeCILL-C Compatible Coq versions: Coq 8.14 to 8.17 (or dev) Additional...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| xcwill/CMeKG_labelingPlatform | CSSJavaScriptHTML | 162 | 0 | 172 | 0 |
| jauderho/dockerfiles | DockerfileShellHTML | 73 | 0 | 17 | 0 |
| dajva/rg.el | Emacs LispMakefile | 431 | 0 | 36 | 0 |
| ReimarFinken/org-git-link | Emacs LispShell | 3 | 0 | 2 | 0 |
| kafka4beam/snabbkaffe | ErlangMakefile | 29 | 0 | 7 | 0 |
| geodynamics/specfem3d | FortranCPostScript | 332 | 0 | 218 | 0 |
| younglifestyle/seg-server | GoHTMLMakefile | 73 | 0 | 11 | 0 |
| Liqwid-Labs/plutarch-unit | HaskellMakefileNix | 4 | 0 | 1 | 0 |
| minbrowser/min | JavaScriptCSSHTML | 7.1k | 0 | 652 | 0 |
| nodejs/nodejs.org | TypeScriptJavaScriptMDX | 3k | 0 | 6.1k | 0 |