AbsInt

icon indicating a website link https://www.absint.com/ icon indicating an email [email protected]

icon location Germany icon location AbsInt Angewandte Informatik GmbH

Results 1 repositories owned by AbsInt

CompCert

1.8k
Stars
221
Forks
Watchers

The CompCert formally-verified C compiler

verified publisher icon AbsInt