This is stars and forks stats for /project-everest/hacl-star repository. As of 27 Apr, 2024 this repository has 1524 stars and 157 forks.
A High-Assurance Cryptographic Library This repository contains verified code for a library of modern cryptographic algorithms, including Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC, and HKDF. This set of algorithms is enough to support the full NaCl API and several TLS 1.3 ciphersuites. The code for all of these algorithms is formally verified using the F* verification framework for memory safety, functional correctness, and secret independence (resistance to some types...
A High-Assurance Cryptographic Library This repository contains verified code for a library of modern cryptographic algorithms, including Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC, and HKDF. This set of algorithms is enough to support the full NaCl API and several TLS 1.3 ciphersuites. The code for all of these algorithms is formally verified using the F* verification framework for memory safety, functional correctness, and secret independence (resistance to some types...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| FStarLang/FStar | F*OCamlPython | 2.5k | +5 | 233 | +2 |
| ggandor/lightspeed.nvim | FennelLuaMakefile | 1.6k | +1 | 30 | 0 |
| NOAA-EMC/WW3 | FortranPostScriptShell | 217 | +4 | 439 | +2 |
| NCAR/ccpp-physics | FortranTeXCSS | 48 | 0 | 134 | 0 |
| NGEET/fates | FortranPythonOther | 84 | +1 | 83 | 0 |
| E3SM-Project/E3SM | FortranC++TeX | 294 | +2 | 307 | 0 |
| MPAS-Dev/MPAS-Model | FortranPythonC | 212 | 0 | 275 | 0 |
| synthetos/TinyG | G-codeCnesC | 846 | 0 | 291 | 0 |
| godotengine/godot-demo-projects | GDScriptC#JavaScript | 4.2k | +32 | 1.4k | +6 |
| GDQuest/learn-gdscript | GDScriptPythonShell | 1.7k | 0 | 126 | 0 |