Tous les dépôts

Une liste soigneusement sélectionnée d'entreprises utilisant des méthodes formelles de vérification dans l'industrie

Bootloader personnalisé pour les appareils Qualcomm MSM8916/MSM8226/MSM8974/...

Une application web minuscule, sans connexion, pour collecter des photos et vidéos de n'importe qui vers votre serveur Immich.

Gestionnaire de base de données simple et facile à utiliser

Micrologiciel dAppOS personnalisé pour certains appareils R36S et clones

Canal de notifications Firebase Cloud Messaging (FCM) pour Laravel

Implémentation pure en Rust de SQLite.

Techniques C2 utiles et aide-mémoire tirés de missions

Informations détaillées (notamment sur les licences et les couches) concernant les Images officielles publiées

Gestion simple du mode clair/sombre pour les applications Svelte. 🌑 ←→ ☀️

[TIP2026] Codes officiels de CCSRv2 et CCSRv1 : Améliorer la stabilité et l'efficacité des modèles de diffusion pour la super-résolution conforme au contenu.

Un constructeur de boîtes de dialogue Material pour Jetpack Compose

Partage de modèles actualisables (SUM) sur la blockchain

Implémentation de YOLOv3 dans TensorFlow 2.3.1.

Kit de recherche d'attaques BloodHound

Spawner Kubernetes pour JupyterHub

[CVPR 2024] Aligning and Prompting Everything All at Once for Universal Visual Perception

Détection de tour de parole pour la communication en dialogue duplex intégral

👀 Le moyen le plus rapide et le plus intuitif de créer des sites Web divers et des interfaces d'applications Web progressives.

Partager des archives utiles sur les exploits d'évasion de VM et QEMU.

Moebooru, un fork fortement modifié de danbooru1

Outil de presse-papiers pour Windows

Stockage de données rapide pour les séries temporelles Pandas

Une base de données structurée avec un service web local pour l'éditer

Une extension GNOME Shell pour thématiser la barre supérieure, les menus, le tableau de bord/dock, Gnome Shell et les applications Gtk/Flatpak.

Exlink Tool est un débogueur multifonctionnel et élégant pour les systèmes embarqués.

d4rkpl4y3r's VRChat Avatar 3.0 optimizer

Script d'automatisation pour les activités régionales des coupons quotidiens de Meituan

kani (カニ) est un micro‑framework hautement hackable pour les modèles de langage d'appel d'outils. (NLP-OSS @ EMNLP 2023)