PrototypeCommon
Verilean/sparkle
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
- Owner
- Verilean (organization)
- Stars
- Stars: 167
- Forks
- Forks: 20
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Topics
- formal-verificationhardware-synthesishdllean4risc-v
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- josevalim/lynxStars: 170LeanPrototype
- openai/PrimeGaps186Stars: 169LeanPrototype
- verse-lab/loomStars: 167LeanPrototype
- ImperialCollegeLondon/M40001_leanStars: 165LeanPrototype
- PatrickMassot/verbose-lean4Stars: 163LeanPrototype
- nomeata/loogleStars: 160LeanPrototype