This is stars and forks stats for /ariadne-cps/verifiedcalculus repository. As of 30 Apr, 2024 this repository has 2 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| UDXS/hh23-rhythm | GLSLVerilogCoq | 1 | 0 | 0 | 0 |
| alexyavni/ECE552 | VerilogCoqAssembly | 0 | 0 | 2 | 0 |
| kfryauff/ee108b | VerilogPerlPHP | 3 | 0 | 0 | 0 |
| sipeed/TangNano-9K-example | GLSLVerilogSystemVerilog | 147 | 0 | 46 | 0 |
| jasmin-lang/jasmin | CoqOCamleC | 179 | 0 | 38 | 0 |
| ethereum/act | HaskellCoqYacc | 202 | 0 | 35 | 0 |
| mit-pdos/perennial | CoqPythonOther | 111 | 0 | 24 | 0 |
| UniMath/Contrib | Coq | 0 | 0 | 4 | 0 |
| jpaykin/OPLSS2023 | CoqMakefile | 4 | 0 | 2 | 0 |
| tlringer/autoinduct | CoqOCamlMakefile | 3 | 0 | 5 | 0 |