Movatterモバイル変換

Showing 9 of 9 repositories

CompCert Public
The CompCert formally-verified C compiler
AbsInt/CompCert’s past year of commit activity
Coq 1,949 234 26 11 UpdatedMar 18, 2025
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 3GPL-2.0 2 0 0 UpdatedMar 3, 2025
CompCert-AbsInt-Releases Public
AbsInt releases of the CompCert formally-verified C compiler
AbsInt/CompCert-AbsInt-Releases’s past year of commit activity
00 0 0 UpdatedDec 19, 2024
FirstAid Public
PDF Help Viewer
AbsInt/FirstAid’s past year of commit activity
C++ 10GPL-2.00 0 0 UpdatedOct 8, 2024
qt6 Public
Qt 6.x Sources for AbsInt Tools
AbsInt/qt6’s past year of commit activity
C++00 0 0 UpdatedOct 8, 2024
picolibc Public Forked frompicolibc/picolibc
@AbsInt's work-in-progress changes for picolibc. We recommend using the official repository:
AbsInt/picolibc’s past year of commit activity
C 1GPL-2.0 208 0 0 UpdatedAug 31, 2021
meson Public Forked frommesonbuild/meson
@AbsInt's work-in-progress changes to The Meson Build System - please use the upstream repository athttps://github.com/mesonbuild/meson
AbsInt/meson’s past year of commit activity
Python0Apache-2.0 1,732 0 0 UpdatedSep 18, 2020
app4mc-plugin Public
APP4MC plugin
AbsInt/app4mc-plugin’s past year of commit activity
Java 2MIT0 0 0 UpdatedSep 18, 2019
itc-benchmarks Public Forked fromregehr/itc-benchmarks
static analysis benchmarks from Toyota ITC
AbsInt/itc-benchmarks’s past year of commit activity
C 8 66 0 0 UpdatedFeb 13, 2017

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

AbsInt

PinnedLoading

Repositories

People

Top languages

Most used topics