Akram El-Korashy's repositories
when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Apache-2.0000
CompCert
The CompCert C verified compiler
Language:CoqNOASSERTION000
clang
Fork of Clang with CHERI support and capability extensions
Language:C++NOASSERTION000
esm_3-areeb
Micro