| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| hacl-star/hacl-star | F*CPython | 1.5k | +11 | 157 | 0 |
| leanprover-community/mathlib | LeanOther | 1.6k | +4 | 303 | 0 |
| project-everest/hacl-star | F*CPython | 1.5k | 0 | 157 | 0 |
| spacejam/sled | RustOther | 7.3k | 0 | 359 | 0 |
| PrincetonUniversity/VST | CoqCOCaml | 398 | 0 | 87 | 0 |
| magmide/magmide | CoqRustOther | 776 | 0 | 12 | 0 |
| ElliotSwart/pragmaticformalmodeling | TLAHTMLSCSS | 38 | 0 | 2 | 0 |
| hwayne/learntla-v2 | TLAPythonPowerShell | 143 | 0 | 34 | 0 |
| input-output-hk/formal-ledger-specifications | AgdaTeXNix | 18 | 0 | 10 | 0 |
| imandra-ai/fix-engine | OCamlOther | 47 | 0 | 3 | 0 |
| imandra-ai/imandra-stdlib | Makefile | 4 | 0 | 0 | 0 |
| acl2/acl2 | Common LispNewLispVerilog | 315 | 0 | 100 | 0 |
| verivital/nnv | MATLABPythonJupyter Notebook | 82 | 0 | 43 | 0 |
| p-org/P | C#OpenEdge ABLJava | 2.8k | 0 | 165 | 0 |