This is stars and forks stats for /CakeML/cakeml repository. As of 27 Apr, 2024 this repository has 855 stars and 76 forks.
The CakeML project: https://cakeml.org CakeML is a verified implementation of a significant subset of Standard ML. The source and proofs for CakeML are developed in the HOL4 theorem prover. We use the latest development version of HOL4, which we build on PolyML 5.7.1. Example build instructions can be found in build-instructions.sh. Building all of CakeML (including the bootstrapped compiler and its proofs) requires significant resources. Built copies of the compiler and resource usage for our regression...
The CakeML project: https://cakeml.org CakeML is a verified implementation of a significant subset of Standard ML. The source and proofs for CakeML are developed in the HOL4 theorem prover. We use the latest development version of HOL4, which we build on PolyML 5.7.1. Example build instructions can be found in build-instructions.sh. Building all of CakeML (including the bootstrapped compiler and its proofs) requires significant resources. Built copies of the compiler and resource usage for our regression...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| HeRAMS-WHO/dashboard-cards | SvelteTypeScriptHTML | 0 | 0 | 0 | 0 |
| RobotsAndPencils/xcodes | SwiftHTMLOther | 3.1k | 0 | 104 | 0 |
| openhwgroup/cvfpu | SystemVerilogPython | 311 | 0 | 87 | 0 |
| idaholab/large_media | TeXPython | 5 | 0 | 25 | 0 |
| getsentry/sentry-javascript | TypeScriptJavaScriptHTML | 7.3k | 0 | 1.5k | 0 |
| pubkey/rxdb | TypeScriptHTMLJavaScript | 19.7k | +26 | 1.1k | 0 |
| antvis/G2 | TypeScriptHTMLJavaScript | 11.8k | 0 | 1.6k | 0 |
| GoogleChromeLabs/squoosh | TypeScriptJavaScriptC++ | 19.7k | 0 | 1.4k | 0 |
| f-of-e/f-of-e-tools | VerilogMakefileC | 7 | 0 | 36 | 0 |
| MiSTer-devel/SNES_MiSTer | VHDLVerilogSystemVerilog | 167 | 0 | 69 | 0 |