Skip to content
@AbsInt

AbsInt

AbsInt Angewandte Informatik GmbH

Pinned Loading

  1. CompCert CompCert Public

    The CompCert formally-verified C compiler

    Rocq Prover 2.2k 261

  2. FirstAid FirstAid Public

    PDF Help Viewer

    C++ 12 1

Repositories

Showing 8 of 8 repositories
  • CompCert Public

    The CompCert formally-verified C compiler

    AbsInt/CompCert's past year of commit activity
    Rocq Prover 2,223 261 27 13 Updated Sep 3, 2026
  • CompCert-small-tests Public

    A small test suite for the CompCert C verified compiler

    AbsInt/CompCert-small-tests's past year of commit activity
    C 6 GPL-2.0 4 0 0 Updated Aug 23, 2026
  • qt6 Public

    Qt 6.x Sources for AbsInt Tools

    AbsInt/qt6's past year of commit activity
    C++ 2 1 0 0 Updated Aug 18, 2026
  • FirstAid Public

    PDF Help Viewer

    AbsInt/FirstAid's past year of commit activity
    C++ 12 GPL-2.0 1 0 0 Updated Jul 29, 2026
  • CompCert-AbsInt-Releases Public

    AbsInt releases of the CompCert formally-verified C compiler

    AbsInt/CompCert-AbsInt-Releases's past year of commit activity
    2 1 0 0 Updated Jul 8, 2026
  • picolibc Public Forked from picolibc/picolibc

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

    AbsInt/picolibc's past year of commit activity
    C 2 GPL-2.0 295 0 0 Updated Aug 31, 2021
  • app4mc-plugin Public

    APP4MC plugin

    AbsInt/app4mc-plugin's past year of commit activity
    Java 4 MIT 1 0 0 Updated Sep 18, 2019
  • itc-benchmarks Public Forked from regehr/itc-benchmarks

    static analysis benchmarks from Toyota ITC

    AbsInt/itc-benchmarks's past year of commit activity
    C 9 67 0 0 Updated Feb 13, 2017

Top languages

Loading…

Most used topics

Loading…