TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

Repository

theorem-labs/oss-verify-proofs

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

Open source WebsiteSecurity Rocq ProverMIT

Stars

136

Today

+23

last 24 hours

This week

+50

Forks

9

Clone

git clone https://github.com/theorem-labs/oss-verify-proofs.git

Star growth

2026-10-23: +212026-10-24: +292026-10-25: +23 (today so far)2026-10-23todaymax +29/day
Stars gained per day since 2026-10-23; the lighter bar is today so far.
#formal-verification#fuzzing#oss-fuzz#proofs#riscv#rocq
Created
2026-10-22
Last commit
2026-10-23
Gained since tracking
+50

Similar in Security

Updated Sun, 25 Oct 2026 04:46:25 GMT · description from the project itself