This is stars and forks stats for /jalmanz/Senior-Design repository. As of 11 May, 2024 this repository has 0 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| gevulotnetwork/gevulot | CircomRustOther | 19 | +1 | 2 | +1 |
| mit-plv/coqutil | CoqOther | 40 | 0 | 22 | 0 |
| ishioni/homelab-ops | HCLJinjaOther | 28 | 0 | 2 | 0 |
| lean-dojo/LeanInfer | LeanC++Shell | 27 | +2 | 1 | 0 |
| OCamlPro/superbol-studio-oss | OCamlHTMLCOBOL | 3 | 0 | 6 | 0 |
| opengeos/leafmap | PythonOther | 2.6k | 0 | 301 | 0 |
| IntelLabs/riscv-vector | ScalaOther | 27 | 0 | 1 | 0 |
| hiddify/Hiddify-Server | ShellJinjaJavaScript | 2.9k | 0 | 437 | 0 |
| w3f/ring-vrf | TeXRustOther | 30 | 0 | 11 | 0 |
| gkd-kit/subscription | TypeScriptOther | 553 | 0 | 58 | 0 |