☰
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.
bacb72b
2 days ago
Released on February 7, 2026 at 7:17:07AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.27.0-rc1
Not a part of any version track.
13458ca
v0.1.0
24 days 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