This is stars and forks stats for /UniMath/agda-unimath repository. As of 29 Apr, 2024 this repository has 184 stars and 54 forks.
The agda-unimath library is a community formalization project for univalent mathematics in Agda. The library project was created by Elisabeth Bonnevier, Jonathan Prieto-Cubides, and Egbert Rijke, and is also being maintained by Fredrik Bakke. Our goal is to formalize an extensive curriculum of mathematics from the univalent point of view. Furthermore, we think libraries of formalized mathematics have the potential to be useful, and informative resources for mathematicians. Our library is designed...
The agda-unimath library is a community formalization project for univalent mathematics in Agda. The library project was created by Elisabeth Bonnevier, Jonathan Prieto-Cubides, and Egbert Rijke, and is also being maintained by Fredrik Bakke. Our goal is to formalize an extensive curriculum of mathematics from the univalent point of view. Furthermore, we think libraries of formalized mathematics have the potential to be useful, and informative resources for mathematicians. Our library is designed...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Kingtous/thinkbook14p-Gen2-ACH-hackintosh | CC++ASL | 66 | 0 | 7 | +1 |
| maskrosen/combat-bees-benchmarks | AssemblyCHLSL | 27 | 0 | 10 | 0 |
| pcawte/AgDev | CC++Makefile | 13 | 0 | 1 | 0 |
| Azure/Azure-Orbital-STAC | BicepPythonShell | 8 | 0 | 11 | 0 |
| w3c/webrtc-encoded-transform | BikeshedMakefile | 120 | 0 | 28 | 0 |
| w3c/webtransport | BikeshedJavaScriptCSS | 748 | 0 | 60 | 0 |
| Avangelista/BeRealUnblur | LogosMakefile | 24 | 0 | 3 | 0 |
| NSExceptional/FLEXing | LogosObjective-CMakefile | 137 | 0 | 32 | 0 |
| skiffos/buildroot | MakefilePythonC | 15 | 0 | 4 | 0 |
| MrFoxPro/lapce-nix | NixRust | 5 | 0 | 0 | 0 |