☰
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.
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
LSpec
1e6da63
A Testing Framework for Lean
Git dependency.
Found on Reservoir.
doc-gen4
cc1a619
Document Generator for Lean 4
1
20