| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| hacl-star/hacl-star | F*CPython | 1.5k | +11 | 157 | 0 |
| hacspec/hacspec | CoqRustF* | 227 | +2 | 43 | +1 |
| project-everest/hacl-star | F*CPython | 1.5k | 0 | 157 | 0 |
| JuliaReach/ReachabilityAnalysis.jl | Julia | 183 | 0 | 15 | 0 |
| AthenaFoundation/athena | Standard MLHTMLEmacs Lisp | 55 | 0 | 3 | 0 |
| CakeML/cakeml | Standard MLOCamlHaskell | 855 | 0 | 76 | 0 |
| PrincetonUniversity/VST | CoqCOCaml | 398 | 0 | 87 | 0 |
| magmide/magmide | CoqRustOther | 776 | 0 | 12 | 0 |
| JuliaReach/LazySets.jl | Julia | 215 | 0 | 31 | 0 |
| ElliotSwart/pragmaticformalmodeling | TLAHTMLSCSS | 38 | 0 | 2 | 0 |
| sifive/ProcKami | CoqMakefile | 23 | 0 | 4 | 0 |
| sifive/RiscvSpecFormal | HaskellShellC++ | 72 | 0 | 7 | 0 |
| hwayne/learntla-v2 | TLAPythonPowerShell | 143 | 0 | 34 | 0 |
| imandra-ai/fix-engine | OCamlOther | 47 | 0 | 3 | 0 |
| stepchowfun/proofs | CoqRubyMakefile | 274 | 0 | 10 | 0 |
| leonardoalt/yools | SMTRustYul | 133 | 0 | 4 | 0 |
| acl2/acl2 | Common LispNewLispVerilog | 315 | 0 | 100 | 0 |
| verivital/nnv | MATLABPythonJupyter Notebook | 82 | 0 | 43 | 0 |
| Zellic/move-prover-examples | Move | 35 | 0 | 4 | 0 |
| viperproject/prusti-dev | RustOther | 1.3k | 0 | 91 | 0 |
| p-org/P | C#OpenEdge ABLJava | 2.8k | 0 | 165 | 0 |
| NethermindEth/horus-checker | HaskellCairoShell | 53 | 0 | 6 | 0 |
| formal-land/coq-of-rust | CoqRustOther | 66 | 0 | 1 | 0 |