Btor2 parser, circuit mitter, and code optimizer

CIRCT and Yosys interoperability, demonstrated with CHISEL

Animated sprite editor & pixel art tool (Windows, macOS, Linux)

Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.

Agile Hardware Design Course

LLM-Assisted Hardware Formal Verification Tool

design and verification of asynchronous circuits

The Task Parallel System Composer (TaPaSCo)

Bluespec Compiler (BSC)

Formal specification and verification of hardware, especially for security and privacy.

Circuit IR Compilers and Tools with memory support

Rust bindings for CIRCT

Perfect Green Screen Keys

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

An experiment in hardware accelerated DSLs and parallel algorithms for signal processing applications.

High level synthesis language for hardware design

Yosys Open SYnthesis Suite

Haskell to VHDL/Verilog/SystemVerilog compiler

A Hardware Description Language based on the Rust Programming Language

Collection of larger-scale tests for CIRCT.

WIP

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.