| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| hacl-star/hacl-star | F*CPython | 1.5k | +11 | 157 | 0 |
| dafny-lang/dafny | C#DafnyJava | 2.5k | +6 | 236 | +2 |
| FStarLang/FStar | F*OCamlPython | 2.5k | +5 | 233 | +2 |
| FStarLang/karamel | OCamlF*C | 367 | +1 | 56 | 0 |
| LeventErkok/sbv | HaskellMakefile | 225 | +1 | 31 | 0 |
| openhwgroup/core-v-verif | AssemblySystemVerilogC | 328 | +1 | 183 | -1 |
| project-everest/hacl-star | F*CPython | 1.5k | 0 | 157 | 0 |
| mockk/mockk | KotlinC++Java | 5.1k | 0 | 312 | 0 |
| OWASP/owasp-masvs | PythonTeXShell | 1.8k | 0 | 419 | 0 |
| ultraembedded/riscv | VerilogC++C | 933 | 0 | 192 | 0 |
| ucsd-progsys/liquidhaskell | HaskellCShell | 1.1k | 0 | 130 | 0 |
| VUnit/vunit | VHDLPythonOther | 645 | 0 | 236 | 0 |
| ucb-bar/chiseltest | ScalaC++Verilog | 167 | 0 | 63 | 0 |
| diem/move | RustMoveSMT | 304 | 0 | 131 | 0 |
| lambdaclass/circom_export_to_cairo | SolidityCairoMakefile | 42 | 0 | 5 | 0 |
| trufflesecurity/trufflehog | GoOther | 12.2k | 0 | 1.4k | 0 |
| viperproject/silicon | ScalaBoogieSMT | 64 | 0 | 27 | 0 |
| hughperkins/VeriGPU | SystemVerilogC++Python | 418 | 0 | 50 | 0 |
| JuliaReach/ReachabilityAnalysis.jl | Julia | 183 | 0 | 15 | 0 |
| tlaplus/tlaplus | JavaHTMLTLA | 2.1k | 0 | 173 | 0 |
| alpkeskin/mosint | GoDockerfile | 3.1k | 0 | 427 | 0 |
| PrincetonUniversity/VST | CoqCOCaml | 398 | 0 | 87 | 0 |
| magmide/magmide | CoqRustOther | 776 | 0 | 12 | 0 |
| Zilliqa/scilla | OCamlRakuPerl | 240 | 0 | 82 | 0 |
| imandra-ai/fix-engine | OCamlOther | 47 | 0 | 3 | 0 |