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

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

Visit GitHub
Shell
71
11
4 contributors
Apache License 2.0
website
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 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 +14 in 5 days

0510
8

Forks +11 in 5 days

0510
7

Merged PRs 34 in 5 days

051015
12

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

Not in the Trendshift top 25 in this period

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 PRs
Thu, Oct 22, 2026+0+01
Fri, Oct 23, 2026+0+78
Sat, Oct 24, 2026+4+44
Sun, Oct 25, 2026+8+012
Mon, Oct 26, 2026+2+09
Total+14+1134
  • 1#1 on the list
  • 7Rank that day
  • Not trending

You might also like

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

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

theorem-labs/oss-verify-proofs

Rocq Prover

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

1609

GitHubSecurityLab/seclab-taskflows-fuzzing

Python

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

306

google/oss-fuzz

Shell

OSS-Fuzz - continuous fuzzing for open source software.

12.8k2.9k

google/clusterfuzz

Python

Scalable fuzzing infrastructure.

5.6k624

ispras/oss-sydr-fuzz

C

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

15546

google/oss-fuzz-gen

Python

LLM powered fuzzing via OSS-Fuzz.

1.4k231

vul337/IDFuzz

C

Official code repository for the research paper IDFuzz: Intelligent Directed Grey-box Fuzzing (USENIX Security 2025)

9410

fuzzingbrain/afc-crs-all-you-need-is-a-fuzzing-brain

Python

LLM-powered system that discovers and patches zero-day vulnerabilities in open source projects. 4th place, DARPA AIxCC.

14639

AFLplusplus/AFLplusplus

C

AFL++ is a state-of-the-art fuzzer, and #1 in benchmarks. It was originally based on AFL. Today it comes with qemu 5.1, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

6.8k1.3k