astrio-labs / forall-mcp
Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
astrio-labs / forall-mcp
gastongouron / ironpress
Pure Rust PDF converter, no browser, no external dependencies. Supports HTML with inline CSS, Markdown, and document conversion with a built-in layout engine.
agentverse-os / AgentVerse-OS
Personal cloud OS for a developer and their AI agents on a single server. One-command install on Ubuntu, then everything in the browser: a windowed desktop, isolated workspaces with VS Code, Claude Code and Codex, a store of 944 self-hosted apps, backups and updates. Access only via Tailscale, nothing exposed to the internet. Rust core, Svelte UI.
redheadesign / music-island
Music controls, local dictation, voice processing and assistant limits at the top edge of your Windows desktop.
ultimo-rs / ultimo
Rust web framework with automatic TypeScript client generation
firstintent / ccteam
ccteam turns the coding agents you already run (Claude Code, Codex, Grok, DeepSeek Harness, Kimi, Pi) into one team — any session can spawn, dispatch, and collect work from any vendor on any machine, while you steer it all from Telegram, Lark, or a browser tab. 把你在用的编程 agent 编成一支团队,跨厂商跨机器派活,Telegram/飞书/网页统一指挥。
naw103 / foremerge
Catch intent conflicts before code conflicts. The open-source coordination protocol for coding agents, built above Git.
vakandi / opencode-rust
The open source AI coding agent, in Rust. CLI, TUI and HTTP server for local AI agents — no Docker required.
Apeireth / Apeireth
Apeireth — a digital companion that grows with you. Pure Safe Rust AGI cognitive microkernel: memory that fades like a person's, human approval before every side effect, honest boundaries. 31-member workspace (30 crates + 1 bench).
thiagodmont / greeg
—
shiwenwen / hope-agent
🦭 A cross-device desktop AI agent with memory, autonomous goals, dynamic workflows, and headless deployment | 会记忆、能持续推进目标、会动态编排多 Agent 的跨端桌面 AI 助手，也可服务化常驻 NAS / 云端
HernanJiang / CodexRouter
Local-first Codex multi-model router and Windows configurator
skymanbp / autoshade
AI-assisted RAW photo developer: GPT vision advisor proposes an EditRecipe, a deterministic Rust engine renders it — Lightroom-compatible XMP sidecars, 24 RAW formats + baked images, measured (not guessed) Lightroom mask geometry, local GUI/web UI, AI denoise & segmentation sidecars
nghiaomg / ExoRoute
—
NotSatoriKomeiji / Satori_LocalAssistant
(Cyber)Satori（赛博觉妖怪）是一款本地优先的 Windows 桌面助手，支持使用习惯学习、常用应用推荐、快速词输入、音量与外接显示器亮度调节。基础功能无需 API；可选 AI 接口用于辅助分析陌生情况，经用户确认的经验保存在本地并复用。(暂时维修中，目前发现了一个长期使用下会影响基本功能的严重学习bug）
omnimind-ai / OmniInfer
Unified, efficient, and easy-to-use inference infrastructure for edge AI || 面向端侧 AI 的统一、高效、易用的推理基础设施
solana-classic / solana-classic
Bring back the fun. Open-source SVM blockchain development focused on art, NFTs, memes and their communities. Experimental testnet live.
kua8 / Nectar
A notch and a dock for Windows: physics-animated, reactive, and built to replace your taskbar.
luxine / CalcKernel
CalcKernel compiler, runtime, tests, examples, documentation, and public releases
EeroEternal / xlb
Streaming-first load balancer for AI inference gateways
OnlistTeam / ai-manager
AI Manager desktop application for AI coding tools
fy-agent / fyagent
For You Agent——AI 时代的个人随身数字人格。把你的模型、AI 账号、技能、提示词和工作方式，带到每一个 AI 工具里。
agersant / polaris
Polaris is a music streaming application, designed to let you enjoy your music collection from any computer or mobile device.
SuperCuber / dotter
A dotfile manager and templater written in rust 🦀
m4b / goblin
An impish, cross-platform binary parsing crate, written in Rust
Violiate / bili_ticket_rush
自动抢票软件 CP31 哔哩哔哩 会员购 BW 漫展 脚本 抢票 |超级简单易用的哔哩哔哩会员购自动抢票工具，基于Rust开发的异步多线程高性能抢票软件。
git-bahn / git-graph
Command line tool to show clear git graphs arranged for your branching model
dropbox / rust-brotli
Brotli compressor and decompressor written in rust that optionally avoids the stdlib
zephium-browser / Zephium
A fast, fully-featured browser and work environment reimagined for you and your agents
PSeitz / lz4_flex
Fastest pure Rust implementation of LZ4 compression/decompression.
eclipse-paho / paho.mqtt.rust
An Eclipse Paho Rust client library for MQTT for Windows, Linux and MacOS.
bytemeadow / godot-bevy
Bring the power of Bevy to your Godot projects
ZyphrZero / kiro.rs
A Kiro Client in Rust
mroboff / vm-curator
vm-curator is a fast and friendly TUI to build and manage QEMU/KVM virtual machines for desktop use with working 3D acceleration (para-virtualized and pass-through.)
KrushnaVardhanReddy / PaperPilot
Your local AI copilot for documents
Artikon90 / sqffy
A simple CLI for SQL databases
HELPMEEADICE / Netodia
Netodia是一个基于Melodia的网易云第三方客户端
AMagicPear / netease-music-gpui
A pixel-aligned NetEase Music client purely in Rust!
terrarium-sh / terrarium
Portable minimal MicroVM sandbox for agents and development tools.
gurov / brevier
A browser for reading: no JavaScript, no site CSS. It reduces a page to Markdown on your own machine and sets it in the typography you chose — and reads Markdown docs straight out of git repositories.
Kheopsian / Hydranos
—
Rekabytes-Enterprise / omni-graph
Local graph memory for coding agents. Store decisions and lessons in SQLite and recall context across sessions.
sena-nana / NanaType
虚拟主播打字机
jibay442 / forever_docker
Self-hosted WoW Forever server for you and your friends. TrinityCore + Docker, a web portal for quick account creation, and a Windows/macOS/Linux launcher with auto-login. No realmlist edits needed.
OmegaMc1331 / agentic-software-factory
Open-source agentic software development platform for building, orchestrating and monitoring autonomous AI coding agents.
icyleaf / omarchy-bitwarden
A blazing fast, zero-bloat, and security-first Bitwarden / Vaultwarden overlay for Omarchy Shell on Hyprland.
HikariCalyx / lmnflash
—
31i45 / Web2App
Turn any URL into a lightweight native desktop app — single-file .exe on Windows, native .deb on Linux, using the OS built-in WebView with zero embedded browser engine.
F7rx / Ferry
⛴️ Fast, private file sharing between your devices. End-to-end encrypted, no account, no cloud. Resumable transfers, works beyond your Wi-Fi, compatible with LocalSend.
Reliary / ocserve
Compatible Rust reimplementation of the opencode server API — bounded memory, tuned SQLite, differential-tested against a frozen upstream (1.18.31)
arpan2711 / quickRS-player
A free practice player for your own Rocksmith 2014 songs: scrolling tab, loops, slow-down, scoring, Real Tone Cable support, and a psarc-to-feedpak converter (Windows)
shi3z / qedos
—