Pinned Repositories
clang
Fork of Clang with CHERI support and capability extensions
CompCert
The CompCert C verified compiler
esm_3-areeb
Micro
when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
akramelkorashy's Repositories
akramelkorashy/esm_3-areeb
Micro
akramelkorashy/clang
Fork of Clang with CHERI support and capability extensions
akramelkorashy/CompCert
The CompCert C verified compiler
akramelkorashy/when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper