secure-compilation / SECOMP

SECOMP formally secure compiler, based on CompCert

secure-compilation/SECOMP Stargazers

Catalin Hritcu
catalin-hritcu
Graydon Hoare
graydon
Jevin Sweval
jevinskie
Michele Riva
micheleriva
MDCOA
mostdcoa
Xtraverageoperator

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.