mamonet

Pinned Repositories

hacl-packages
The Cryspen HACL Distribution
Language:C16 9 19118
libcrux
The formally verified crypto library for Rust
Language:C93 10 22216
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*1.6k 78 229170
hax
A Rust verification tool
Language:OCaml203 9 58922
hacl-packages
The Cryspen HACL Distribution
Language:C00
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*01
hax
A Rust verification tool
Language:OCaml00
libcrux
Language:C00
vale
Verified Assembly Language for Everest
Language:F#00
vale
Verified Assembly Language for Everest
Language:F#272 32 4020

mamonet's Repositories

mamonet/hacl-packages
The Cryspen HACL Distribution
Language:C00
mamonet/hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*01
mamonet/hax
A Rust verification tool
Language:OCaml00
mamonet/libcrux
Language:C00
mamonet/vale
Verified Assembly Language for Everest
Language:F#00