akramelkorashy

Pinned Repositories

clang
Fork of Clang with CHERI support and capability extensions
Language:C++00
CompCert
The CompCert C verified compiler
Language:Coq00
esm_3-areeb
Micro
Language:Java10
when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Language:Coq00
when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Language:Coq7 4 11

akramelkorashy's Repositories

akramelkorashy/esm_3-areeb
Micro
Language:Java10
akramelkorashy/clang
Fork of Clang with CHERI support and capability extensions
Language:C++00
akramelkorashy/CompCert
The CompCert C verified compiler
Language:Coq00
akramelkorashy/when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Language:Coq00