☰
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.
a8be4af
3 days ago
Released on June 15, 2026 at 7:10:20AM
Commit a8be4af builds on its old leanprover/lean4:v4.28.0
v4.28.0
59.2 MB
Build archive size: 59248060 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