This is stars and forks stats for /sergei-romanenko/agda-simple-scp repository. As of 03 May, 2024 this repository has 28 stars and 2 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| formal-land/coq-of-rust | CoqRustOther | 66 | 0 | 1 | 0 |
| DSLsofMath/DSLsofMath | HaskellTeXHTML | 382 | 0 | 48 | 0 |
| foones/dharma | CoqPythonC | 0 | 0 | 0 | 0 |
| gustavo-depaula/stalin-sort | CoqAssemblyPython | 1.3k | +4 | 164 | 0 |
| ariadne-cps/verifiedcalculus | Coq | 2 | 0 | 0 | 0 |
| UDXS/hh23-rhythm | GLSLVerilogCoq | 1 | 0 | 0 | 0 |
| alexyavni/ECE552 | VerilogCoqAssembly | 0 | 0 | 2 | 0 |
| kfryauff/ee108b | VerilogPerlPHP | 3 | 0 | 0 | 0 |
| glguy/my-agda-lib | Agda | 3 | 0 | 1 | 0 |
| msp-strath/MSPweb | HaskellHTMLAgda | 6 | 0 | 6 | 0 |