Skip to content
Change the repository type filter

All

    Repositories list

    • CompCert

      Public
      The CompCert formally-verified C compiler
      Coq
      Other
      2281.9k2811Updated Oct 30, 2024Oct 30, 2024
    • AbsInt releases of the CompCert formally-verified C compiler
      0000Updated Oct 29, 2024Oct 29, 2024
    • FirstAid

      Public
      PDF Help Viewer
      C++
      GNU General Public License v2.0
      01000Updated Oct 8, 2024Oct 8, 2024
    • qt6

      Public
      Qt 6.x Sources for AbsInt Tools
      C++
      0000Updated Oct 8, 2024Oct 8, 2024
    • A small test suite for the CompCert C verified compiler
      C
      GNU General Public License v2.0
      2200Updated Oct 4, 2024Oct 4, 2024
    • picolibc

      Public
      @AbsInt's work-in-progress changes for picolibc. We recommend using the official repository:
      C
      GNU General Public License v2.0
      179100Updated 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.6k000Updated Sep 18, 2020Sep 18, 2020
    • APP4MC plugin
      Java
      MIT License
      0200Updated Sep 18, 2019Sep 18, 2019
    • static analysis benchmarks from Toyota ITC
      C
      Other
      64800Updated Feb 13, 2017Feb 13, 2017