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

ilyasergey/vermilion

Vermilion: Verus meets Lean

Visit GitHub
Lean
62
4
1 contributors
Apache License 2.0
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
ClawBench

a benchmark for personal agents

Bifrost

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

Momentum

How fast ilyasergey/vermilion 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 15 – Oct 24, 2026

Stars +6 in 10 days

012
2

Forks +3 in 10 days

01
1

Merged PRs 0 in 10 days

01

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

Top 25 in Lean

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

Achievements

Trendshift snapshots GitHub's daily Trending list and runs its own trending list

Trendshift Trending

ilyasergey/vermilion has trended on Trendshift's daily list

Daily

First achieved on 19th, Oct 2026 for Lean

#6 Lean Repository Of The Day

First achieved on 19th, Oct 2026 for Lean

#6 Lean Repository Of The Day

You might also like

Repositories close to ilyasergey/vermilion
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

AeneasVerif/aeneas

OCaml

A verification toolchain for Rust programs

1.1k131

microsoft/verus-proof-synthesis

Rust
12726

verus-lang/verus

Rust

Verified Rust for low-level systems code

3.4k242

pereq-dev/hax

Rust

A Rust verification tool

48866

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

creusot-rs/creusot

Rust

Creusot helps you prove your Rust code is correct.

1.9k100

verse-lab/velvet

Lean

An auto-active program verifier in Lean

13111

anodized-rs/anodized

Rust

Harden your Rust with specifications.

1158

argumentcomputer/ix

Rust

a zero-knowledge proof-carrying code protocol for Lean 4

1075