Repositories list

• CompCert

  Public
  The CompCert formally-verified C compiler

  ccompilercoq+ 1

  ccompilercoqcompcert

  Rocq Prover

  •

  Other

  •257257 forks•2.2k2.2k stars•2828 issues•1313 pull requests•Updated May 22, 2026May 22, 2026

• CompCert-small-tests

  Public
  A small test suite for the CompCert C verified compiler

  C

  •

  GNU General Public License v2.0

  •33 forks•66 stars•00 issues•00 pull requests•Updated Apr 27, 2026Apr 27, 2026

• CompCert-AbsInt-Releases

  Public
  AbsInt releases of the CompCert formally-verified C compiler

  11 fork•22 stars•00 issues•00 pull requests•Updated Apr 27, 2026Apr 27, 2026

• FirstAid

  Public
  PDF Help Viewer

  pdfviewerpdf-viewer+ 1

  pdfviewerpdf-viewerlibpoppler

  C++

  •

  GNU General Public License v2.0

  •11 fork•1212 stars•00 issues•00 pull requests•Updated Jan 13, 2026Jan 13, 2026

• qt6

  Public
  Qt 6.x Sources for AbsInt Tools

  C++

  •11 fork•22 stars•00 issues•00 pull requests•Updated Jan 13, 2026Jan 13, 2026

• picolibc

  Public
  @AbsInt's work-in-progress changes for picolibc. We recommend using the official repository:

  C

  •

  GNU General Public License v2.0

  •266266 forks•22 stars•00 issues•00 pull requests•Updated Aug 31, 2021Aug 31, 2021

• meson

  Public
  @AbsInt's work-in-progress changes to The Meson Build System - please use the upstream repository at https://github.com/mesonbuild/meson

  Python

  •

  Apache License 2.0

  •1.9k1.9k forks•11 star•00 issues•00 pull requests•Updated Sep 18, 2020Sep 18, 2020

• app4mc-plugin

  Public
  APP4MC plugin

  Java

  •

  MIT License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Sep 18, 2019Sep 18, 2019

• itc-benchmarks

  Public
  static analysis benchmarks from Toyota ITC

  C

  •

  Other

  •6363 forks•99 stars•00 issues•00 pull requests•Updated Feb 13, 2017Feb 13, 2017