Stars
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
Your self-hosted, globally interconnected microblogging community
Hammer: Highly Agile Masks Made Effortlessly from RTL
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
Verilator open-source SystemVerilog simulator and lint system
SystemRDL 2.0 language compiler front-end
Command line tool to print a textual gantt chart from specially formatted input.
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Experimental implementation of Cubical Type Theory
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…