TrendingRisingGemsRadarToolboxCategories

Repository

ilyasergey/vermilion

Vermilion: Verus on Lean

Open source Other LeanApache-2.0

Stars

56

Today

+2

last 24 hours

This week

+2

Forks

2

Clone

git clone https://github.com/ilyasergey/vermilion.git

Star growth

2026-10-18: +2 (today so far)2026-10-18todaymax +2/day
Stars gained per day. Tracking since 2026-10-18; the lighter bar is today so far.
Created
2026-08-20
Last commit
2026-09-23
Gained since tracking
+2

Similar in Other

Updated Sun, 18 Oct 2026 15:32:30 GMT · description from the project itself