Skip to content
@AbsInt

AbsInt

AbsInt Angewandte Informatik GmbH

Pinned Loading

  1. CompCert CompCert Public

    The CompCert formally-verified C compiler

    Coq 1.9k 230

  2. FirstAid FirstAid Public

    PDF Help Viewer

    C++ 10

Repositories

Showing 9 of 9 repositories
  • CompCert Public

    The CompCert formally-verified C compiler

    AbsInt/CompCert’s past year of commit activity
    Coq 1,900 230 27 11 Updated Dec 12, 2024
  • 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 2 GPL-2.0 2 0 0 Updated Nov 30, 2024
  • CompCert-AbsInt-Releases Public

    AbsInt releases of the CompCert formally-verified C compiler

    AbsInt/CompCert-AbsInt-Releases’s past year of commit activity
    0 0 0 0 Updated Oct 29, 2024
  • FirstAid Public

    PDF Help Viewer

    AbsInt/FirstAid’s past year of commit activity
    C++ 10 GPL-2.0 0 0 0 Updated Oct 8, 2024
  • qt6 Public

    Qt 6.x Sources for AbsInt Tools

    AbsInt/qt6’s past year of commit activity
    C++ 0 0 0 0 Updated Oct 8, 2024
  • 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 1 GPL-2.0 183 0 0 Updated Aug 31, 2021
  • meson Public Forked from mesonbuild/meson

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

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

    APP4MC plugin

    AbsInt/app4mc-plugin’s past year of commit activity
    Java 2 MIT 0 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 8 67 0 0 Updated Feb 13, 2017

Most used topics

Loading…