Lightweight agent multiplexer, all in one Web dashboard

The efficient SMT-based context-bounded model checker (ESBMC)

Antigravity CLI brings the reasoning, execution, and orchestration capabilities of Antigravity agent harness directly into your terminal.

A command line progress reporting library for Rust

wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.

MCP server to read waveform files

😼 优雅地使用基于 clash/mihomo 的代理环境

Open-source, community-driven agent harness

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 for Claude Code, Codex, OpenCode, OpenClaw, Gemini CLI & Hermes Agent. Only official website: ccswitch.io

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)