Giters
Santiago Arranz Olmos (sarranz)

sarranz

Geek Repo

2

followers

2

following

4

stars

Github PK Tool:Github PK Tool

Santiago Arranz Olmos's repositories

apunte-discreta2

Language:TeXStargazers:0Issues:0Issues:0

jasmin

Language for high-assurance and high-speed cryptography

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

libjade

Turbo Crypto library

Language:eCLicense:CC0-1.0Stargazers:0Issues:0Issues:0

opentitan

OpenTitan: Open source silicon root of trust

Language:SystemVerilogLicense:Apache-2.0Stargazers:0Issues:0Issues:0

sarranz.github.io

Language:HTMLStargazers:0Issues:0Issues:0