Starred repositories
AKQuant is a high-performance quantitative research and trading framework built on Rust and Python! 开源量化回测框架
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.
😼 优雅地使用基于 clash/mihomo 的代理环境
Open-source, community-driven agent harness
A multiprocess drop-in replacement for Rust channels
Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).
EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)
A machine learning compiler for GPUs, CPUs, and ML accelerators
Ibex is a small 32-bit RISC-V CPU core with high-level of verification (previously known as zero-riscy)
IronClaw is an Agent OS focused on privacy, security and extensibility
⭐️ 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, Grok Build & 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