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: 09 Mar 2026
https://github.com/absint/compcert-small-tests
A small test suite for the CompCert C verified compiler
Last synced: 02 Sep 2025
https://github.com/absint/compcert-absint-releases
AbsInt releases of the CompCert formally-verified C compiler
Last synced: 07 Jan 2026