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
ClawBench
ClawBench

runtimeverification/publications

Publications of Runtime Verification, Inc.

#Curated list
Visit GitHub
HTML
97
20
24 contributors
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

ClawBench

a benchmark for personal agents

Momentum

How fast runtimeverification/publications 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 9 – Oct 24, 2026

Stars +2 in 16 days

01
1

Forks +0 in 16 days

01

Merged PRs 0 in 16 days

01

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

Not in the Trendshift top 25 in this period

Oct 9Oct 11Oct 13Oct 15Oct 17Oct 19Oct 21Oct 23
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
Fri, Oct 9, 2026+1+00
Sat, Oct 10, 2026+0+00
Sun, Oct 11, 2026+0+00
Mon, Oct 12, 2026+0+00
Tue, Oct 13, 2026+0+00
Wed, Oct 14, 2026+0+00
Thu, Oct 15, 2026+0+00
Fri, Oct 16, 2026+0+00
Sat, Oct 17, 2026+0+00
Sun, Oct 18, 2026+0+00
Mon, Oct 19, 2026+0+00
Tue, Oct 20, 2026+0+00
Wed, Oct 21, 2026+0+00
Thu, Oct 22, 2026+1+00
Fri, Oct 23, 2026+0+00
Sat, Oct 24, 2026+0+00
Total+2+00
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Social mentions

Recent discussions about this repository across the web
  1. Jun 291 post
    • We've completed @matrixdock 's XAUm Gold protocol design and code review. The engagement ran over three weeks, concluding in June 2026. The review combined a design review with a manual code review,…

      Read full on X, posted by @rv_inc

      @rv_inc · x.com

  2. 24 days earlier
  3. Jun 51 post
    • We're grateful to be contributing to ArkLib, CompPoly, and the verification of Rust code across the zkVM stack, alongside a great group of collaborators. With attacks getting cheaper and faster,…

      Read full on X, posted by @rv_inc

      @rv_inc · x.com

You might also like

Repositories close to runtimeverification/publications
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

ClawBench

a benchmark for personal agents

verichains/public-audit-reports

Public audit reports from Verichains.

6525

oak-security/audit-reports

16629

leonardoalt/ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

37841

pashov/audits

1.3k169

NethermindEth/PublicAuditReports

Public reports of audits performed by Nethermind Security

6410

sherlock-protocol/sherlock-reports

Sherlock audit and coverage reports

15235

softstack/Smart-Contract-Security-Audits

HTML

Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos and more

798390

Frankcastleauditor/public-audits

All the private and public audits that I have worked on.

22616

HashEx/public_audits

List of public audit reports

606