AbsInt

@AbsInt

Pinned Loading

Showing 9 of 9 repositories

CompCert Public
The CompCert formally-verified C compiler

AbsInt/CompCert’s past year of commit activity
AbsInt/CompCert-AbsInt-Releases’s past year of commit activity

1 1 0 0
Updated Jan 22, 2026
AbsInt/FirstAid’s past year of commit activity

C++
11
GPL-2.0
1 0 0
Updated Jan 13, 2026
qt6 Public
Qt 6.x Sources for AbsInt Tools

AbsInt/qt6’s past year of commit activity

C++
1 1 0 0
Updated Jan 13, 2026
AbsInt/CompCert-small-tests’s past year of commit activity

C
5
GPL-2.0
3 0 0
Updated Dec 30, 2025
AbsInt/picolibc’s past year of commit activity

C
1
GPL-2.0
249 0 0
Updated Aug 31, 2021
AbsInt/meson’s past year of commit activity

Python 0 Apache-2.0
1,885 0 0
Updated Sep 18, 2020
AbsInt/app4mc-plugin’s past year of commit activity

Java
3
MIT
1 0 0
Updated Sep 18, 2019
AbsInt/itc-benchmarks’s past year of commit activity

C
8 67 0 0
Updated Feb 13, 2017

Loading…