Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Fast Printf | 10 | 13 | 3 years ago | 31 | August 20, 2021 | 1 | other | TypeScript | ||
Fast and spec-compliant printf implementation for Node.js and browser. | ||||||||||
Cbench Vst | 5 | 2 years ago | 2 | Coq | ||||||
VST verification of programs from the cbench benchmark | ||||||||||
Riscv Benchmarks | 5 | 8 years ago | C | |||||||