repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
hacl-star/hacl-star | F*CPython | 1.5k | +11 | 157 | 0 |
FStarLang/FStar | F*OCamlPython | 2.5k | +5 | 233 | +2 |
hacspec/hacspec | CoqRustF* | 227 | +2 | 43 | +1 |
FStarLang/karamel | OCamlF*C | 367 | +1 | 56 | 0 |
project-everest/hacl-star | F*CPython | 1.5k | 0 | 157 | 0 |
project-everest/everparse | F*OCamlRoff | 224 | 0 | 8 | 0 |
secure-foundations/veri-datalog | DafnyC#F* | 2 | 0 | 0 | 0 |
OpenFAST/r-test | RoffF*Fortran | 38 | 0 | 78 | 0 |
AeneasVerif/aeneas | OCamlStandard MLF* | 65 | 0 | 8 | 0 |
Inria-Prosecco/treesync | OCamlStandard MLF* | 3 | 0 | 0 | 0 |
StormSurgeLive/asgs | FortranPerlShell | 36 | 0 | 23 | 0 |
project-everest/everquic-crypto | F*Other | 9 | 0 | 6 | 0 |
bioperl/bioperl-live | PerlRoffGnuplot | 285 | 0 | 179 | 0 |
FStarLang/steel | F*OCamlMakefile | 19 | 0 | 4 | 0 |