SPUMA
Security and Privacy langUage-based Methods At work
- Dept. of CS @ University of Pisa, Italy
- http://spuma.di.unipi.it
Popular repositories Loading
-
kremlin
kremlin PublicForked from FStarLang/karamel
KreMLin is a tool for extracting low-level F* programs to readable C code
OCaml
Repositories
Showing 1 of 1 repositories
- kremlin Public Forked from FStarLang/karamel
KreMLin is a tool for extracting low-level F* programs to readable C code
unipi-spuma/kremlin’s past year of commit activity
