Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost

theorem-labs/oss-verify-proofs

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

Visit GitHub
Rocq Prover
160
9
0
MIT License
website
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast theorem-labs/oss-verify-proofs is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Oct 22 – Oct 26, 2026

Stars +87 in 5 days

02040
36

Forks +9 in 5 days

0246
5

Merged PRs 0 in 5 days

01

Trendshift Trendingwhere the repository ranked each day it made the top 25

Top 25 in Rocq Prover

151
Oct 22Oct 23Oct 24Oct 25Oct 26
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRsRocq Prover
Thu, Oct 22, 2026+0+10#15
Fri, Oct 23, 2026+25+50#1
Sat, Oct 24, 2026+36+20Not trending
Sun, Oct 25, 2026+13+10Not trending
Mon, Oct 26, 2026+13+00Not trending
Total+87+90
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Mentions and achievements

Where people are talking about theorem-labs/oss-verify-proofs, and every badge it has earned
    1. Oct 251 post

      • 2/3 谁来检查 AI 写的证明？ Claude 生成证明，Rocq 内核按规格检查；仍需信任规格、机器/系统语义和检查器。 建议：从小型关键组件试点，明确输入与内存边界；不要因此移除现有测试、权限检查或发布回执核验。

        Read full on X, posted by @lyczak

        @lyczak · x.com

    You might also like

    Repositories close to theorem-labs/oss-verify-proofs
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

    Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

    theorem-labs/oss-verify

    Shell

    OSS Verify: enrollment and build instructions for formally verifying open-source fuzz targets

    7111

    QEDGen/qedsvm

    Lean

    Execute and verify compiled Solana sBPF programs with a Lean 4 reference model

    204

    daedalus/fuzzer

    Python

    Information-dense, coverage-guided binary fuzzer

    452

    AliveToolkit/alive2

    C++

    Automatic verification of LLVM optimizations

    1.2k144

    succinctlabs/sp1

    Rust

    SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

    1.8k712

    In2Sec/DiveFuzz

    Python

    A CPU fuzzer designed for diverse test case generation and execution.

    15913

    GitHubSecurityLab/seclab-taskflows-fuzzing

    Python

    An LLM-driven fuzzing pipeline powered by the GitHub Security Lab Taskflow Agent

    306

    matter-labs/zksync-airbender

    Rust

    RISC-V prover system for ZKsync OS

    12850

    formal-land/rocq-of-rust

    Rocq Prover

    Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

    1.2k44