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

The ultimate Vim configuration (vimrc)

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Integrate the DeepSeek API into popular softwares

帮助大家进行FPGA的入门，分享FPGA相关的优秀文章，优秀项目

The Z3 Theorem Prover

 Now we have become very big, Different from the original idea. Collect premium software in various categories.

Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers

中文独立博客列表

This list of writing prompts covers a range of topics and tasks, including brainstorming research ideas, improving language and style, conducting literature reviews, and developing research plans.

The official GitHub mirror of the Chromium source

Recent symbolic execution papers and tools.

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

A curated list of awesome directed fuzzing research papers

RISC-V Formal Verification Framework

✨ Light and Fast AI Assistant. Support: Web | iOS | MacOS | Android | Linux | Windows

educational microarchitectures for risc-v isa

Architectural models for RISC-V assembly

全国各省市停贷通知汇总

Links to tools by subject

kkndme聊房，数据整理自天涯。提供HTML、PDF和Markdown三种形式。

SonicBOOM: The Berkeley Out-of-Order Machine

刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.

Demonstrate all the questions on LeetCode in the form of animation.（用动画的形式呈现解LeetCode题目的思路）

LeetCode Solutions: A Record of My Problem Solving Journey.( leetcode题解，记录自己的leetcode解题之路。)

MSVC's implementation of the C++ Standard Library.

✅ Curated list of resources for college students

A template project for beginning new Chisel work

为推广RISC-V尽些薄力