A Proof-oriented Programming Language
- programming-language
- verification
- dependent-types
- smt
Repository Index
78,850 visible repositories in the index
1–2 of 2 · Most stars
HACL*, a formally verified cryptographic library written in F*
- cryptography
- verified-primitives
- high-performance
- security