verus-lang
★ 3,125verus
低レベルのシステムコードについてはRustを検証しました。 Verus は実行時チェックを追加するのではなく、コードが正しいことを証明するために強力なソルバーに依存します。
HYSEN LABS ディレクトリ
オープンソース・ディレクトリ
正確な分類、検証済みメタデータ、実用的な文脈で注目プロジェクトを整理します。
厳選オープンソースプロジェクト 11591 件
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
Native navigation library for React Native applications
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
SynkraAI
★ 3,118aiox-core
Synkra AIOS: AI-Orchestrated System for Full Stack Development - Core Framework v4.0
zjunlp
★ 3,118LLMAgentPapers
Must-read Papers on LLM Agents.
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
Lightweight simple translation module for node.js / express.js with dynamic json storage. Uses common __('...') syntax in app and templates.
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 専用開発ハーネス - 自律的な計画作業レビュー サイクルを通じて高品質な開発を実現します。
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.