Skip to main content
buildradar
Sign in
Owner · AbsInt

AbsInt

AbsInt's tracked open-source repos, sorted by stars.

1 repos
  • CompCert↗@AbsInt

    The CompCert formally-verified C compiler

    ★ 2,220+5Star change over the last 7 days
← Back to owner ranking