#
Pursuing a major in Religious Studies while also exploring in computer science and philosophy.
- Rome, Italy
- https://yin.roma.it
Highlights
Starred repositories
1
star
written in F*
Clear filter
HACL*, a formally verified cryptographic library written in F*