Awesome Lean / Libraries
20Hardware & Embedded
4 entries
- SparkleType-safe, verifiable HDL compiler inspired by Clash.Verilean/sparkle
- CircuitlibDigital circuit verification using categorical semantics.matthunz/circuitlib
- LNSymArmv8 native-code symbolic simulator.leanprover/LNSym
- MRiscXCertified RISC-V interpreter with Hoare logic.JulsDE/MRiscX