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

paradigmxyz/solidity-lean

Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.

Visit GitHub
Lean
29
2
1 contributors
Apache License 2.0
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

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

Momentum

How fast paradigmxyz/solidity-lean 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 28 – Oct 27, 2026

Stars +10 in 30 days

012
2

Forks +2 in 30 days

01
1

Merged PRs 46 in 30 days

051015
14

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

Top 25 in Lean

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

Mentions and achievements

Where people are talking about paradigmxyz/solidity-lean, and every badge it has earned
    1. Jul 241 post

      • Formally verified compilers are a holy grail in security They can prevent compiler bugs (like the >$50m Vyper bug), and allow formal reasoning about high-level languages They also enable much more…

        Read full on X, posted by @danrobinson

        @danrobinson · x.com

    You might also like

    Repositories close to paradigmxyz/solidity-lean
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

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

    NethermindEth/EVMYulLean

    Lean

    Executable formal model of the EVM and Yul in Lean 4.

    10121

    verifereum/verifereum

    Standard ML

    Prove functional correctness of Ethereum smart contracts in higher-order logic

    5414

    NomicFoundation/slang

    Rust

    Solidity compiler tooling by @NomicFoundation

    28750

    Certora/CertoraProver

    Kotlin

    The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

    33953

    verifereum/vyper-hol

    Standard ML

    Formal specification and verification of Vyper

    4111

    lfglabs-dev/verity

    Lean

    Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

    14922

    paradigmxyz/solidus

    Lean

    Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.

    3513

    runtimeverification/evm-semantics

    KCL

    K Semantics of the Ethereum Virtual Machine (EVM)

    595125

    leonardoalt/ethereum_formal_verification_overview

    Overview of the formal verification projects in the Ethereum ecosystem.

    37841