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
Zweck-Tag · kuratierte Repositories und tiefgehende Analysen.
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.
FluxDown ist ein Dienstprogramm zum Herunterladen und Verarbeiten von Medien mit wiederaufnehmbaren Übertragungen, Warteschlangenverwaltung und lokalen Automatisierungssteuerungen.
Ein Befehlszeilenprogramm zum Anzeigen des Abhängigkeitsbaums der installierten Python-Pakete.
VibiumDev/vibium bietet eine praxistaugliche Open-Source-Implementierung mit stabiler Einsatzbarkeit für reale Anwendungsfälle.
Taiko2k/Tauon bietet eine praxistaugliche Open-Source-Implementierung mit stabiler Einsatzbarkeit für reale Anwendungsfälle.
MCP-Server-Integration für DaVinci Resolve Studio. DaVinci Resolve MCP Server (blue.svg) 18%20tools-blueviolet.svg) Ein Model Context Protocol (MCP)-Server, der es KI-Assistenten ermöglicht, DaVinci Resolve Studio über die offizielle Scripting-API zu steuern.
Eine Sammlung des Claude Code Open Source. Es wurden keine Anmerkungen, Dokumente oder Build-Tools hinzugefügt. Verwenden Sie claude-code-source-code für die recherchierte und kommentierte Version.
WhatsApp CLI: Synchronisieren, suchen, senden. Für den Build aus dem Quellcode wacli ist Go 1.26.5 oder neuer erforderlich und es wird go-sqlite3 verwendet, daher sind cgo und ein C-Compiler erforderlich.
FiorenMas/Revanced-And-Revanced-Extended-Non-Root bietet eine praxistaugliche Open-Source-Implementierung mit stabiler Einsatzbarkeit für reale Anwendungsfälle.
Elektrowerkzeuge zum Organisieren Ihrer IMMICH-Bibliothek. Immich Power Tools Ein inoffizieller Immich-Client, der bessere Tools zum Organisieren und Verwalten Ihres Immich-Kontos bereitstellt.
Liste der von der Community verwalteten Domänen. In die Domänenlisten-Community verschieben Dieses Projekt verwaltet eine Liste von Domänen, die als Geosites für Routingzwecke in Projekt V verwendet werden sollen.
OpenTelemetry-Autoinstrumentierung und Instrumentierungsbibliotheken für Java.
Pytorch-Domänenbibliothek für Empfehlungssysteme. TorchRec TorchRec** ist eine PyTorch-Domänenbibliothek, die für die Bereitstellung allgemeiner Sparsity- und Parallelitätsprimitive entwickelt wurde, die für große Empfehlungssysteme (RecSys) benötigt werden.
Loomio ist ein Tool zur kollaborativen Entscheidungsfindung. Loomio ist ein Entscheidungsfindungstool für kollaborative Organisationen.
Dieses Projekt rundet „Vue 3 + Vite 7+ TypeScript + element-plus vue-element-admin vue3 .“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.
pnnbao97/VieNeu-TTS bietet eine praxistaugliche Open-Source-Implementierung mit stabiler Einsatzbarkeit für reale Anwendungsfälle.
Ein Quellgenerator zum Hinzufügen eines benutzerdefinierten Satzes von Win32 P/Invoke-Methoden und unterstützenden Typen zu einem C#-Projekt.
Dieses Projekt rundet „Package manager for Chrome OS. The only missing pieces to use them as full-featured Linux distro were gcc and make with their dependencies.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.
Eine Aktion zum automatischen Kennzeichnen von Pull-Anfragen. Was hat sich in V7 geändert? Intern auf ESM migriert, um die neuesten @actions/*-Paketversionen zu unterstützen.
Mirage Persistent Kernel: Kompilieren von LLMs in einen MegaKernel. Mit Quickstart Mirage können Sie LLMs aus dem Hugging Face-Modellzoo in einen Megakernel kompilieren, indem Sie nur ein paar Dutzend Python-Zeilen verwenden – hauptsächlich zum Definieren der Ein- und Ausgänge des Kernels.