☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependencies (6)
sparkle
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
Displaying
1-2
of
2
versions of
sparkle
Sort by
Date
Not a part of any version track.
53f240e
18 days ago
Released on May 13, 2026 at 12:32:23PM
Commit 53f240e builds on its old leanprover/lean4:v4.28.0
v4.28.0
55.4 MB
Build archive size: 55358811 bytes.
Not a part of any version track.
13458ca
v0.1.0
5 months ago
Released on January 16, 2026 at 2:42:32AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.27.0-rc1
1
20