Skip to content

@AbsInt AbsInt

Change the repository type filter

All

    Repositories list

    9 repositories

    • CompCert

      Public
      The CompCert formally-verified C compiler
      ccompilercoqcompcert
      Rocq Prover
      •
      Other
      •238•2k•27•14•Updated Jul 15, 2025Jul 15, 2025

    • CompCert-small-tests

      Public
      A small test suite for the CompCert C verified compiler
      C
      •
      GNU General Public License v2.0
      •3•4•0•0•Updated May 23, 2025May 23, 2025

    • CompCert-AbsInt-Releases

      Public
      AbsInt releases of the CompCert formally-verified C compiler
      1•1•0•0•Updated Apr 24, 2025Apr 24, 2025

    • FirstAid

      Public
      PDF Help Viewer
      pdfviewerpdf-viewerlibpoppler
      C++
      •
      GNU General Public License v2.0
      •1•11•0•0•Updated Oct 8, 2024Oct 8, 2024

    • qt6

      Public
      Qt 6.x Sources for AbsInt Tools
      C++
      •1•1•0•0•Updated Oct 8, 2024Oct 8, 2024

    • picolibc

      Public
      @AbsInt's work-in-progress changes for picolibc. We recommend using the official repository:
      C
      •
      GNU General Public License v2.0
      •226•1•0•0•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.8k•0•0•0•Updated Sep 18, 2020Sep 18, 2020

    • app4mc-plugin

      Public
      APP4MC plugin
      Java
      •
      MIT License
      •1•3•0•0•Updated Sep 18, 2019Sep 18, 2019

    • itc-benchmarks

      Public
      static analysis benchmarks from Toyota ITC
      C
      •
      Other
      •64•8•0•0•Updated Feb 13, 2017Feb 13, 2017