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

SwayamInSync/cpp-verify

Extending C++ to support Program Verification using SMT solvers

Visit GitHub
LLVM
31
1
2 contributors
Custom 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 SwayamInSync/cpp-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

Sep 29 – Oct 27, 2026

Stars +27 in 29 days

051015
13

Forks +1 in 29 days

01
1

Merged PRs 67 in 29 days

01020
20

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

Top 25 in LLVM

16225654911131015
Sep 29Oct 3Oct 7Oct 11Oct 15Oct 19Oct 23Oct 27
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 PRsLLVM
Tue, Sep 29, 2026+0+00#16
Wed, Sep 30, 2026+0+00Not trending
Thu, Oct 1, 2026+0+00Not trending
Fri, Oct 2, 2026+0+00Not trending
Sat, Oct 3, 2026+0+00Not trending
Sun, Oct 4, 2026+0+00Not trending
Mon, Oct 5, 2026+0+00Not trending
Tue, Oct 6, 2026+0+00Not trending
Wed, Oct 7, 2026+0+00Not trending
Thu, Oct 8, 2026+0+00Not trending
Fri, Oct 9, 2026+0+00Not trending
Sat, Oct 10, 2026+0+00Not trending
Sun, Oct 11, 2026+0+00Not trending
Mon, Oct 12, 2026+0+00Not trending
Tue, Oct 13, 2026+13+00#2
Wed, Oct 14, 2026+5+19#2
Thu, Oct 15, 2026+1+00#5
Fri, Oct 16, 2026+1+04#6
Sat, Oct 17, 2026+1+03#5
Sun, Oct 18, 2026+3+06#4
Mon, Oct 19, 2026+1+03#9
Tue, Oct 20, 2026+0+01#11
Wed, Oct 21, 2026+0+09#13
Thu, Oct 22, 2026+0+010#10
Fri, Oct 23, 2026+0+02#15
Sat, Oct 24, 2026+0+020Not trending
Sun, Oct 25, 2026+1+00Not trending
Mon, Oct 26, 2026+1+00Not trending
Tue, Oct 27, 2026+0+00Not trending
Total+27+167
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Mentions and achievements

Where people are talking about SwayamInSync/cpp-verify, and every badge it has earned
    1. Sep 301 post

      • Wow this is so cooolll !! 🥳 Really happy & excited to see how Cpp-Verify is opening new possibilities of formal-verification in Python. Y'k I guess this project can stands for a good funding for…

        Read full on X, posted by @swayaminsync

        @swayaminsync · x.com

    You might also like

    Repositories close to SwayamInSync/cpp-verify
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

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

    SkyLabsAI/BRiCk

    Rocq Prover

    Formalization of C++ for verification purposes.

    10817

    diffblue/cbmc

    C++

    C Bounded Model Checker

    1.2k296

    verifast/verifast

    Rust

    Research prototype tool for modular formal verification of C, Rust and Java programs

    52576

    sosy-lab/cpachecker

    Java

    CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

    26890

    esbmc/esbmc

    C++

    The efficient SMT-based context-bounded model checker (ESBMC)

    533150

    dafny-lang/dafny

    C#

    Dafny is a verification-aware programming language

    3.6k326

    PrincetonUniversity/VST

    Rocq Prover

    Verified Software Toolchain

    512104

    ultimate-pa/ultimate

    Java

    The Ultimate program analysis framework.

    25049

    MPI-SWS/genmc

    C++

    Generic model checker for concurrent C programs (mirror repository)

    22135