TrendingRisingGemsRadarToolboxCategories

Repository

Verilean/sparkle

A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.

Open source Developer tools LeanApache-2.0

Stars

152

Today

+3

last 24 hours

This week

+3

Forks

18

Clone

git clone https://github.com/Verilean/sparkle.git

Star growth

2026-10-18: +3 (today so far)2026-10-18todaymax +3/day
Stars gained per day. Tracking since 2026-10-18; the lighter bar is today so far.
#formal-verification#hardware-synthesis#hdl#lean4#risc-v
Created
2026-01-16
Last commit
2026-10-12
Gained since tracking
+3

Similar in Developer tools

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