▲РЕПО СЕЙЧАС НЕ В ВЫДАЧЕ НИ ОДНОГО ОКНА. СТРАНИЦА ЖИВЁТ КАК АРХИВНАЯ: НИЖЕ — ЛУЧШИЙ РЕЗУЛЬТАТ ЗА ВСЮ ИСТОРИЮ (ОКНО 7D).
FINDING #3178 · UNIT ID 1135339607
Verilean/sparkle
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
SURPRISE SCORE
0.00
Архив · репо вне текущей выдачи
BEST RANK
#3178
BEST WINDOW
7D
TIMES CHARTED
3
STARS NOW
139
FORKS NOW
18
OWNER ★
215
FIRST SEEN 2026-10-01 · LAST SEEN 2026-10-10