Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

019a1334-66a1-76a2-80d8-b027b8005bf0‮@qwjyh@misskey.qwjyh.net (2026-09-24 01:12:55)
[ Verilean/sparkle: A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis. ]
https://github.com/Verilean/sparkle

すっごい