| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| mikeroyal/RISC-V-Guide | Assembly | 366 | +3 | 27 | 0 |
| tnballo/high-assurance-rust | RustCSSOther | 1.2k | 0 | 29 | 0 |
| ValeLang/Vale | ScalaC++C | 1.6k | 0 | 52 | 0 |
| magmide/magmide | CoqRustOther | 776 | 0 | 12 | 0 |
| snowcra5h/windows-api-function-cheatsheets | 486 | 0 | 55 | 0 |