| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| AU-COBRA/typed-extraction | CoqMakefile | 2 | 0 | 2 | 0 |
| verivital/nnv | MATLABPythonJupyter Notebook | 82 | 0 | 43 | 0 |
| viperproject/prusti-dev | RustOther | 1.3k | 0 | 91 | 0 |
| viperproject/gobra | ScalaJavaANTLR | 85 | 0 | 24 | 0 |
| querycert/qcert | CoqJavaOCaml | 52 | 0 | 9 | 0 |
| vehicle-lang/vehicle | HaskellPythonVCL | 59 | 0 | 5 | 0 |
| seL4/website | PromelaPythonCSS | 3 | 0 | 10 | 0 |
| KASIRGA-KIZIL/tekno-kizil | VerilogAssemblyC | 130 | 0 | 9 | 0 |
| mit-pdos/perennial | CoqPythonOther | 111 | 0 | 24 | 0 |
| OSVVM/OSVVM | VHDLTcl | 195 | -1 | 52 | 0 |