AbsInt

Repositories

• CompCert

  The CompCert formally-verified C compiler

  c compiler coq compcert
  Coq 157 1,279 17 12 Updated Jul 30, 2021

• qt6

  Qt 6.x Sources for AbsInt Tools
  C++ 0 0 0 0 Updated Jul 23, 2021

• CompCert-AbsInt-Releases

  AbsInt releases of the CompCert formally-verified C compiler
  0 0 0 0 Updated Jul 23, 2021

• picolibc

  Forked from picolibc/picolibc

  @AbsInt's work-in-progress changes for picolibc. We recommend using the official repository:
  C 108 0 0 0 Updated Jun 15, 2021

• FirstAid

  PDF Help Viewer

  pdf viewer pdf-viewer libpoppler
  C++ GPL-2.0 0 7 0 0 Updated Jan 13, 2021

• meson

  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
  Python Apache-2.0 989 0 0 0 Updated Sep 18, 2020

• app4mc-plugin

  APP4MC plugin
  Java MIT 0 1 0 0 Updated Sep 18, 2019

• itc-benchmarks

  Forked from regehr/itc-benchmarks

  static analysis benchmarks from Toyota ITC
  C 50 5 0 0 Updated Feb 13, 2017