PrototypeCommune
Verilean/sparkle
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
- Propriétaire
- Verilean (organisation)
- Étoiles
- Étoiles : 166
- Forks
- Forks : 20
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Sujets
- formal-verificationhardware-synthesishdllean4risc-v
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- openai/PrimeGaps186Étoiles : 169LeanPrototype
- Verified-zkEVM/VCVioÉtoiles : 168LeanPrototype
- verse-lab/loomÉtoiles : 167LeanPrototype
- ImperialCollegeLondon/M40001_leanÉtoiles : 165LeanPrototype
- PatrickMassot/verbose-lean4Étoiles : 163LeanPrototype
- nomeata/loogleÉtoiles : 160LeanPrototype