Explore Roast Battle

HomeExplorecompcert

Compcert Collection

Repositories tagged with "compcert"

RARE

TCG-style cards with ATK/DEF/SPD stats

📈 Trending

💻 Language

JavaScript TypeScript Python Rust Go Java C++C C#Swift Kotlin Ruby PHP Dart Scala Elixir Haskell Lua R Zig

🏷️ Topic

🤖Machine Learning 🌐Web Framework ⌨️CLI Tool 🗄️Database ⚙️DevOps ⛓️Blockchain 📱Mobile 🎮Game Dev 🔒Security 🔌API 🧪Testing 📚Documentation

Built with care

Explore Roast Battle·Compare Leaderboard

UNCOMMON

⭐2.2kHP

◆

◆

◆

◆

AbsInt

📦Normal

★★

CompCert

AbsInt

Rocq Proverccompcert

“The CompCert formally-verified C compiler”

★

2.2k

F

259

W

2.2k

259 forks

ATK

60

DEF

60

SPD

60

GitPedia #418

2/5

View wiki →𝕏

GitPedia

Repository Card

UNCOMMON

★

2.2k

F

259

W

2.2k

UNCOMMON

⭐503HP

◆

◆

◆

◆

PrincetonUniversity

📦Normal

★★

VST

PrincetonUniversity

Rocq Proverccompcert

“Verified Software Toolchain”

★

503

F

99

W

503

99 forks

ATK

60

DEF

60

SPD

60

GitPedia #885

2/5

View wiki →𝕏

GitPedia

Repository Card

UNCOMMON

★

503

F

99

W

503

COMMON

⭐70HP

◆

◆

◆

◆

INRIA

📦Normal

★

velus

INRIA

Coqcompcertcoq-formalization

“A Lustre compiler in Coq”

★

70

F

6

W

70

6 forks

ATK

60

DEF

60

SPD

60

GitPedia #925

1/5

View wiki →𝕏

GitPedia

Repository Card

COMMON

★

70

F

6

W

70