verus
Rust vérifié pour le code des systèmes de bas niveau. Plutôt que d’ajouter des contrôles d’exécution, Verus s’appuie sur de puissants solveurs pour prouver que le code est correct.
RÉPERTOIRE HYSEN LABS
Tag Usage · dépôts sélectionnés et analyses approfondies.
Rust vérifié pour le code des systèmes de bas niveau. Plutôt que d’ajouter des contrôles d’exécution, Verus s’appuie sur de puissants solveurs pour prouver que le code est correct.
FluxDown est un utilitaire de téléchargement et de traitement multimédia avec reprise des transferts, gestion des files d'attente et contrôles d'automatisation locaux.
Un utilitaire de ligne de commande pour afficher l'arborescence des dépendances des packages Python installés.
VibiumDev/vibium offre une implémentation open source exploitable en conditions réelles avec une structure réutilisable.
Taiko2k/Tauon offre une implémentation open source exploitable en conditions réelles avec une structure réutilisable.
Intégration du serveur MCP pour DaVinci Resolve Studio. DaVinci Resolve MCP Server blue.svg) 18%20tools-blueviolet.svg) Un serveur Model Context Protocol (MCP) qui permet aux assistants IA de contrôler DaVinci Resolve Studio via l'API de script officielle.
Une collection du code open source Claude. Aucune annotation, documentation ou outil de construction n'a été ajouté, utilisez claude-code-source-code pour la version recherchée et annotée.
WhatsApp CLI : synchroniser, rechercher, envoyer. Construire à partir des sources wacli nécessite Go 1.26.5 ou plus récent et utilise go-sqlite3, donc cgo + un compilateur C sont requis.
FiorenMas/Revanced-And-Revanced-Extended-Non-Root offre une implémentation open source exploitable en conditions réelles avec une structure réutilisable.
Des outils puissants pour organiser votre bibliothèque immich. Immich Power Tools Un client immich non officiel pour fournir de meilleurs outils pour organiser et gérer votre compte immich.
Liste de domaines gérés par la communauté. Communauté de liste Move To Domain Ce projet gère une liste de domaines, à utiliser comme géosites à des fins de routage dans le projet V.
Bibliothèques d'auto-instrumentation et d'instrumentation OpenTelemetry pour Java.
Bibliothèque de domaine Pytorch pour les systèmes de recommandation. TorchRec TorchRec** est une bibliothèque de domaine PyTorch conçue pour fournir les primitives communes de parcimonie et de parallélisme nécessaires aux systèmes de recommandation à grande échelle (RecSys).
Loomio est un outil de prise de décision collaborative. Loomio est un outil d'aide à la décision pour les organisations collaboratives.
Ce projet transforme « Vue 3 + Vite 7+ TypeScript + element-plus vue-element-admin vue3 . » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.
pnnbao97/VieNeu-TTS offre une implémentation open source exploitable en conditions réelles avec une structure réutilisable.
Un générateur de source pour ajouter un ensemble défini par l'utilisateur de méthodes Win32 P/Invoke et de types de prise en charge à un projet C#.
Ce projet transforme « Package manager for Chrome OS. The only missing pieces to use them as full-featured Linux distro were gcc and make with their dependencies. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.
Une action pour étiqueter automatiquement les demandes d'extraction. Ce qui a changé dans la V7 Migré vers ESM en interne pour prendre en charge les dernières versions du package @actions/*.
Mirage Persistent Kernel : compilation de LLM dans un MegaKernel. Quickstart Mirage vous permet de compiler des LLM du zoo modèle Hugging Face dans un méga-noyau en utilisant seulement quelques dizaines de lignes de Python, principalement pour définir les entrées et sorties du noyau.