开源项目目录

verus-lang

verus

★ 3,125

已验证 Rust 的低级系统代码。 Verus 没有添加运行时检查，而是依靠强大的求解器来证明代码是正确的。

off-grid-ai

OGAM

★ 3,125

The Swiss Army Knife of Offline AI. Chat, see, speak, and generate images on your phone or Mac — GGUF LLMs, vision, Whisper speech-to-text, Stable Diffusion, tool calling, and local-network servers. Runs on your CPU, GPU, or NPU. No account, no API key, zero data leaves your device.

lackeyjb

playwright-skill

★ 3,124

General-purpose Playwright automation for coding agents

AutoArk

GPA

★ 3,124

[AutoArk] GPA (General Purpose Audio) can do ASR, TTS and voice conversion with one tiny model!

airbnb

native-navigation

★ 3,121

Native navigation library for React Native applications

TanStack

ai

★ 3,121

🤖 Type-safe, provider-agnostic TypeScript AI SDK for streaming chat, tool calling, agents, and multimodal apps across OpenAI, Anthropic, Gemini, React, Vue, Svelte, and Solid.

walinejs

waline

★ 3,119

💬 A Simple, Safe Comment System

SynkraAI

aiox-core

★ 3,118

Synkra AIOS: AI-Orchestrated System for Full Stack Development - Core Framework v4.0

zjunlp

LLMAgentPapers

★ 3,118

Must-read Papers on LLM Agents.

latent-spaces

brag

★ 3,117

You built it. Now brag. Turn the project you just created into a short, shareable launch video with one command.

Soju06

codex-lb

★ 3,116

Codex/ChatGPT multiple account load balancer & proxy with usage tracking, dashboard, and OpenCode-compatible endpoints

wquguru

harness-books

★ 3,115

📚 Two books on harness engineering — the design philosophies behind Claude Code & Codex: constraints, query loops, context governance, multi-agent verification. harness-books.agentway.dev

mashpie

i18n-node

★ 3,114

Lightweight simple translation module for node.js / express.js with dynamic json storage. Uses common __('...') syntax in app and templates.

petergoldstein

dalli

★ 3,113

该项目围绕「High performance memcached client for Ruby. Valid examples: :, /, |, ., -, _, # Security Note By default, Dalli uses Ruby's Marshal for serialization.」构建，适用于实际场景的开源实践，提供可复用的工具链与集成方式。

Chachamaru127

claude-code-harness

★ 3,113

Claude Code 专用开发工具 - 通过自主计划工作审查周期实现高质量开发。

MiroMindAI

MiroFlow

★ 3,113

🏆 Top-1 on 5+ benchmarks | Web UI | Supports MiroThinker, Claude, Kimi, OpenAI

GordenSun

GordenPPTSkill

★ 3,107

AI-friendly PPT builder skill: 17 hand-polished Chinese PPTX templates + non-destructive text-only editing tools (python-pptx based). Pick a template, write edits.json, build a real .pptx with the layout intact. Personal/research use only.

minitap-ai

mobile-use

★ 3,105

AI agents can now use real Android and iOS apps, just like a human.

FStarLang

FStar

★ 3,104

该项目围绕「A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].」构建，适用于实际场景的开源实践，提供可复用的工具链与集成方式。

miroslavpejic85

mirotalksfu

★ 3,104

🏆 Self-hosted, open-source WebRTC video conferencing platform for real-time communication and collaboration. A modern alternative to Zoom, Google Meet, Jitsi Meet, and Microsoft Teams, powered by scalable SFU architecture with Mediasoup.