| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| project-everest/hacl-star | F*CPython | 1.5k | 0 | 152 | 0 |
| FStarLang/FStar | F*OCamlPython | 2.4k | 0 | 226 | 0 |
| FStarLang/karamel | OCamlF*C | 349 | 0 | 56 | 0 |
| project-everest/everparse | F*OCamlRoff | 192 | 0 | 7 | 0 |
| secure-foundations/veri-datalog | DafnyC#F* | 2 | 0 | 0 | 0 |
| OpenFAST/r-test | RoffF*Fortran | 34 | 0 | 70 | 0 |
| hacl-star/hacl-star | F*CPython | 1.5k | 0 | 152 | 0 |
| AeneasVerif/aeneas | OCamlF*Coq | 54 | 0 | 5 | 0 |
| Inria-Prosecco/treesync | OCamlStandard MLF* | 2 | 0 | 0 | 0 |
| hacspec/hacspec | CoqRustF* | 193 | 0 | 37 | 0 |
| StormSurgeLive/asgs | FortranPerlShell | 33 | 0 | 24 | 0 |
| project-everest/everquic-crypto | F*Other | 7 | 0 | 5 | 0 |