The HW-CBMC and EBMC Model Checkers for Verilog

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

Elevate your AI research writing, no more tedious polishing ✨

数字电路设计与FPGA设计书籍

A framework for writing FPGA firmware using the Rust Programming Language

AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

Google's Operations Research tools:

A portfolio-based suite for hardware model checking

IronClaw is an Agent OS focused on privacy, security and extensibility