OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.
GitHub repository with 34 stars and 2 forks.
Language: Rust
Topics: rust, rust-lang, smt, z3, z3-solver, math, mathematics, pure-rust, rust-crate
2026-06-09: 34 stars and 2 forks.
Isolated Linux desktop workspaces for AI agents — a hidden, agent-owned desktop and browser over MCP, so an agent can do GUI and web work without touching your real desktop.
GitHub repository with 55 stars and 6 forks.
Trending score: 0.86; stars gained: +1; forks gained: +0.
Language: Rust
Topics: agent, agents, ai, ai-agents, browser-automation, claude-code
Terminal pixel-art office for AI coding agents
GitHub repository with 282 stars and 15 forks.
Trending score: 1.49; stars gained: +1; forks gained: +1.
Language: Rust
Topics: ai-agents, claude, claude-code, cli, codex, pixel-art
pixiv 下载工具链，基于rust重建，支持智能检索，批量下载
GitHub repository with 52 stars and 3 forks.
Trending score: 0.02; stars gained: +0; forks gained: +0.
Language: Rust
Topics: application, pixiv-downloader, rust, tauri-v2
Agent Usage Reporter & Analyzer
GitHub repository with 15 stars and 1 forks.
Trending score: 0.30; stars gained: +0; forks gained: +0.
Language: Rust
Topics: ai, ai-agents, ai-usage, ai-usage-analytics, cli, gpui
Every Lua, everywhere — pure-Rust Lua 5.1-5.5, suite-passing, LuaRocks-compatible, wasm-ready.
GitHub repository with 22 stars and 0 forks.
Trending score: 0.46; stars gained: +0; forks gained: +0.
Language: Rust
Topics: bevy, crates-io, game-development, interpreter, lua, lua-54
Training-free ordinal & sign quantization for compressed nearest-neighbour retrieval over high-dimensional embeddings. Pure Rust, zero system dependencies.
GitHub repository with 20 stars and 3 forks.
Trending score: 0.88; stars gained: +2; forks gained: +0.
Language: Rust
Topics: ann, approximate-nearest-neighbor, embeddings, information-retrieval, nearest-neighbor, quantization
A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Gemini CLI & Hermes Agent. Only official website: ccswitch.io
GitHub repository with 101,399 stars and 6,706 forks.
Trending score: 5.98; stars gained: +1,282; forks gained: +106.
Language: Rust
Topics: ai-tools, claude-code, codex, desktop-app, hermes, hermes-agent
An enhanced tool for CodexApp, striving to make Codex better to use and more comfortable 一个CodexApp的增强工具，努力让Codex变得更好用更舒服
GitHub repository with 18,792 stars and 1,190 forks.
Trending score: 5.44; stars gained: +649; forks gained: +58.
Language: Rust
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
GitHub repository with 62,529 stars and 3,868 forks.
Trending score: 5.37; stars gained: +689; forks gained: +65.
Language: Rust
Topics: agentic-coding, ai-coding, anthropic, claude-code, cli, command-line-tool
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
GitHub repository with 49,474 stars and 5,225 forks.
Trending score: 4.98; stars gained: +255; forks gained: +31.
Language: Rust
Topics: acp, ai, ai-agents, mcp
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
GitHub repository with 73,986 stars and 9,882 forks.
Trending score: 4.83; stars gained: +185; forks gained: +32.
Language: Rust
Topics: awesome, claude, densepose, esp32, firmware, home-assistant
Your Personal AI super intelligence. Private, Simple and extremely powerful.
GitHub repository with 32,242 stars and 3,123 forks.
Trending score: 4.79; stars gained: +324; forks gained: +36.
Language: Rust
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
GitHub repository with 12,595 stars and 1,068 forks.
Trending score: 4.87; stars gained: +311; forks gained: +30.
Language: TypeScript
Topics: ai-agent, ai-coding-agent, anthropic, bun, claude, cli
Isolated Linux desktop workspaces for AI agents — a hidden, agent-owned desktop and browser over MCP, so an agent can do GUI and web work without touching your real desktop.
GitHub repository with 55 stars and 6 forks.
Trending score: 0.86; stars gained: +1; forks gained: +0.
Language: Rust
Topics: agent, agents, ai, ai-agents, browser-automation, claude-code
Terminal pixel-art office for AI coding agents
GitHub repository with 282 stars and 15 forks.
Trending score: 1.49; stars gained: +1; forks gained: +1.
Language: Rust
Topics: ai-agents, claude, claude-code, cli, codex, pixel-art
pixiv 下载工具链，基于rust重建，支持智能检索，批量下载
GitHub repository with 52 stars and 3 forks.
Trending score: 0.02; stars gained: +0; forks gained: +0.
Language: Rust
Topics: application, pixiv-downloader, rust, tauri-v2
Agent Usage Reporter & Analyzer
GitHub repository with 15 stars and 1 forks.
Trending score: 0.30; stars gained: +0; forks gained: +0.
Language: Rust
Topics: ai, ai-agents, ai-usage, ai-usage-analytics, cli, gpui
Every Lua, everywhere — pure-Rust Lua 5.1-5.5, suite-passing, LuaRocks-compatible, wasm-ready.
GitHub repository with 22 stars and 0 forks.
Trending score: 0.46; stars gained: +0; forks gained: +0.
Language: Rust
Topics: bevy, crates-io, game-development, interpreter, lua, lua-54