verus
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.
HYSEN LABS VERZEICHNIS
Kuratierte Repositories mit präziser Taxonomie, geprüften Metadaten und praktischem Kontext.
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.
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.
General-purpose Playwright automation for coding agents
[AutoArk] GPA (General Purpose Audio) can do ASR, TTS and voice conversion with one tiny model!
Native navigation library for React Native applications
🤖 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.
💬 A Simple, Safe Comment System
Synkra AIOS: AI-Orchestrated System for Full Stack Development - Core Framework v4.0
Must-read Papers on LLM Agents.
You built it. Now brag. Turn the project you just created into a short, shareable launch video with one command.
Codex/ChatGPT multiple account load balancer & proxy with usage tracking, dashboard, and OpenCode-compatible endpoints
📚 Two books on harness engineering — the design philosophies behind Claude Code & Codex: constraints, query loops, context governance, multi-agent verification. harness-books.agentway.dev
Lightweight simple translation module for node.js / express.js with dynamic json storage. Uses common __('...') syntax in app and templates.
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.
Claude Code Dedicated Development Harness – Erreichen einer qualitativ hochwertigen Entwicklung durch einen autonomen Plan-Arbeitsüberprüfungszyklus.
🏆 Top-1 on 5+ benchmarks | Web UI | Supports MiroThinker, Claude, Kimi, OpenAI
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.
AI agents can now use real Android and iOS apps, just like a human.
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.
🏆 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.