verus-lang
★ 3,125verus
Verified Rust for low-level systems code. Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct.
HYSEN LABS DIRECTORY
Open-source project directory
Curated repositories with precise taxonomy, verified metadata and practical context.
11,591 curated open-source projects
off-grid-ai
★ 3,125OGAM
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
★ 3,124playwright-skill
General-purpose Playwright automation for coding agents
AutoArk
★ 3,124GPA
[AutoArk] GPA (General Purpose Audio) can do ASR, TTS and voice conversion with one tiny model!
airbnb
★ 3,121native-navigation
GitHub describes it as Native navigation library for React Native applications. The repository metadata lists Java as its primary language. The metadata lists the MIT license. This article stays within the project description and details documented in the GitHub repository README.
TanStack
★ 3,121ai
🤖 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
★ 3,119waline
💬 A Simple, Safe Comment System
zjunlp
★ 3,118LLMAgentPapers
Must-read Papers on LLM Agents.
SynkraAI
★ 3,118aiox-core
Synkra AIOS: AI-Orchestrated System for Full Stack Development - Core Framework v4.0
latent-spaces
★ 3,117brag
You built it. Now brag. Turn the project you just created into a short, shareable launch video with one command.
Soju06
★ 3,116codex-lb
Codex/ChatGPT multiple account load balancer & proxy with usage tracking, dashboard, and OpenCode-compatible endpoints
wquguru
★ 3,115harness-books
📚 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
★ 3,114i18n-node
GitHub describes it as Lightweight simple translation module for node.js / express.js with dynamic json storage. Uses common ('...') syntax in app and templates.. The repository metadata lists JavaScript as its primary language. The metadata lists the MIT license. This article stays within the project description and details documented in the GitHub repository README.
petergoldstein
★ 3,113dalli
High performance memcached client for Ruby. Valid examples: :, /, |, ., -, _, # Security Note By default, Dalli uses Ruby's Marshal for serialization.
Chachamaru127
★ 3,113claude-code-harness
Claude Code Dedicated Development Harness - Achieving High-Quality Development Through an Autonomous Plan Work Review Cycle.
MiroMindAI
★ 3,113MiroFlow
🏆 Top-1 on 5+ benchmarks | Web UI | Supports MiroThinker, Claude, Kimi, OpenAI
GordenSun
★ 3,107GordenPPTSkill
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
★ 3,105mobile-use
AI agents can now use real Android and iOS apps, just like a human.
FStarLang
★ 3,104FStar
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
★ 3,104mirotalksfu
🏆 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.