Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

Example Spartan 6 project using yosys

Your self-hosted, globally interconnected microblogging community

GnuCash Double-Entry Accounting Program.

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

SystemC Reference Implementation

Verilator open-source SystemVerilog simulator and lint system

SystemRDL 2.0 language compiler front-end

A core language for rule-based hardware design 🦑

Command line tool to print a textual gantt chart from specially formatted input.

Official GanttProject repository.

A Coq library for Homotopy Type Theory

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

Experimental implementation of Cubical Type Theory

Formal topology (and some probability) in Coq

Topology library for Coq

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…