HYSEN LABS VERZEICHNIS

Open-Source-Verzeichnis

Kuratierte Repositories mit präziser Taxonomie, geprüften Metadaten und praktischem Kontext.

11.591 kuratierte Open-Source-Projekte
verus-lang

verus

3.125

Verifizierter Rust für Low-Level-Systemcode. Anstatt Laufzeitprüfungen hinzuzufügen, verlässt sich Verus stattdessen auf leistungsstarke Solver, um nachzuweisen, dass der Code korrekt ist.

RustEntwicklerwerkzeuge221 Forks
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.

TypeScript298 Forks
3.124

General-purpose Playwright automation for coding agents

JavaScript242 Forks
AutoArk

GPA

3.124

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

Python211 Forks
3.121

Native navigation library for React Native applications

Java173 Forks
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.

TypeScript330 Forks
walinejs

waline

3.119

💬 A Simple, Safe Comment System

JavaScript637 Forks
SynkraAI

aiox-core

3.118

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

JavaScript963 Forks
3.118

Must-read Papers on LLM Agents.

Unknown186 Forks
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.

Python228 Forks
Soju06

codex-lb

3.116

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

Python465 Forks
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

Python373 Forks
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.

JavaScript422 Forks
petergoldstein

dalli

3.113

Dieses Projekt rundet „High performance memcached client for Ruby. Valid examples: :, /, |, ., -, _, # Security Note By default, Dalli uses Ruby's Marshal for serialization.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.

RubyEntwicklerwerkzeuge468 Forks
MiroMindAI

MiroFlow

3.113

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

Python323 Forks
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.

Python281 Forks
minitap-ai

mobile-use

3.105

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

Python275 Forks
FStarLang

FStar

3.104

Dieses Projekt rundet „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].“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.

F*Entwicklerwerkzeuge265 Forks
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.

JavaScript500 Forks