Répertoire open source

verus-lang

verus

★ 3 125

Rust vérifié pour le code des systèmes de bas niveau. Plutôt que d’ajouter des contrôles d’exécution, Verus s’appuie sur de puissants solveurs pour prouver que le code est correct.

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

Ce projet transforme « High performance memcached client for Ruby. Valid examples: :, /, |, ., -, _, # Security Note By default, Dalli uses Ruby's Marshal for serialization. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

Chachamaru127

claude-code-harness

★ 3 113

Harnais de développement dédié Claude Code - Atteindre un développement de haute qualité grâce à un cycle d'examen des travaux de plan autonome.

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

Ce projet transforme « 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]. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

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.