Projects in Awesome Lists by AbsInt
A curated list of projects in awesome lists by AbsInt .
https://github.com/absint/compcert
The CompCert formally-verified C compiler
Last synced: 14 May 2025
https://github.com/AbsInt/CompCert
The CompCert formally-verified C compiler
Last synced: 20 Mar 2025
https://github.com/absint/firstaid
PDF Help Viewer
libpoppler pdf pdf-viewer viewer
Last synced: 13 Apr 2025
https://github.com/absint/compcert-small-tests
A small test suite for the CompCert C verified compiler
Last synced: 13 Apr 2025
https://github.com/absint/compcert-absint-releases
AbsInt releases of the CompCert formally-verified C compiler
Last synced: 27 Mar 2025