Coding agent for DeepSeek models that runs in your terminal

Windows中的中文常用字体打包，便于Mac下的网页浏览与文档编辑

A multiprocess drop-in replacement for Rust channels

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

Sail RISC-V model

机场推荐与机场评测

EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)

Sail architecture definition language

A machine learning compiler for GPUs, CPUs, and ML accelerators

Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

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

The open source coding agent.

⭐️ A cross-platform CLI All-in-One assistant tool for Claude Code, Codex & Gemini CLI.

A cross-platform desktop All-in-One assistant tool for Claude Code, Codex, OpenCode, openclaw & Gemini CLI.

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

《动手学大模型Dive into LLMs》系列编程实践教程

Code2Inv: Learning Loop Invariants for Program Verification

Yosys RTLIL dialect for MLIR

Bluespec Compiler (BSC)

A standalone local search solver for general mixed integer programming

RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see prototyper folder.

Rayon: A data parallelism library for Rust

Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024

A LNCS template for typst

IIC-OSIC-TOOLS is an all-in-one Docker image for SKY130/GF180/IHP130-based analog and digital chip design. AMD64 and ARM64 are natively supported.

SystemVerilog frontend for Yosys

SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)