Skip to content
View JYan80's full-sized avatar

Highlights

  • Pro

Block or report JYan80

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The HW-CBMC and EBMC Model Checkers for Verilog

C++ 109 24 Updated Jun 13, 2026

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

C++ 69 26 Updated May 31, 2015

Elevate your AI research writing, no more tedious polishing ✨

28,292 2,200 Updated May 18, 2026

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

81 20 Updated May 31, 2022

A framework for writing FPGA firmware using the Rust Programming Language

Rust 493 30 Updated Jun 3, 2025
Python 14 4 Updated Mar 12, 2018

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

Python 130 24 Updated May 29, 2026

Google's Operations Research tools:

C++ 13,621 2,411 Updated Jun 12, 2026
C++ 18 6 Updated Nov 9, 2022

A portfolio-based suite for hardware model checking

C 8 1 Updated Jun 9, 2026

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

Rust 12,447 1,453 Updated Jun 14, 2026