This is stars and forks stats for /math-comp/math-comp repository. As of 24 Apr, 2024 this repository has 509 stars and 106 forks.
The Mathematical Components repository The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language. These formal theories cover a wide spectrum of topics, ranging from the formal theory of general purpose data structures like lists, prime numbers or finite graphs, to advanced topics in algebra. The repository includes the foundation of formal theories used in a formal...
The Mathematical Components repository The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language. These formal theories cover a wide spectrum of topics, ranging from the formal theory of general purpose data structures like lists, prime numbers or finite graphs, to advanced topics in algebra. The repository includes the foundation of formal theories used in a formal...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| graphql-crystal/benchmarks | ElixirCrystalJavaScript | 68 | 0 | 16 | 0 |
| rafaelmardojai/firefox-gnome-theme | CSSShellJavaScript | 2.8k | 0 | 127 | 0 |
| whyt-byte/Blue-Topaz_Obsidian-css | CSS | 922 | 0 | 80 | 0 |
| progit/progit2 | CSSXSLTRuby | 5.3k | +11 | 2k | +4 |
| rapidsai/raft | CudaC++Jupyter Notebook | 382 | +15 | 125 | +1 |
| merixstudio/flutter-vizier-challenge | DartOther | 216 | 0 | 57 | 0 |
| NIAEFEUP/project-schrodinger | DartHTMLC++ | 40 | +1 | 14 | 0 |
| openfoodfacts/smooth-app | DartC++CMake | 540 | +12 | 201 | +1 |
| fortune13-ss13/thewasteland | DMJavaScriptHTML | 10 | 0 | 72 | 0 |
| dillonkearns/elm-pages | ElmJavaScriptOther | 612 | 0 | 93 | 0 |