https://github.com/project-everest/hacl-star
Raw File
Tip revision: d65e32adf1d6233b49571b3677a2b3fd6486c385 authored by Son HO on 17 February 2021, 16:56:15 UTC
Merge branch 'master' into son_random
Tip revision: d65e32a
AUTHORS.md
This code was primarily written by Marina Polubelova (INRIA).
Jonathan Protzenko contributed the design of the type classes hierarchy.
back to top