Nouvelle génération

Interface de démonstration de théorèmes Lean offrant une expérience similaire aux preuves papier.

Logique de fonctionnement de base : Agent Skill, une boîte à outils méthodologique basée sur l'ouvrage de Nie Huihua (n'inclut pas le texte intégral du livre).

Lightning-fast, free, local first voice dictation for macOS with on-device transcription

Edge-Drop is like a Dynamic Island for your desktop clipboard. It hides on the edge of your screen and opens when you hover near it, letting you easily store and drag text, links, images, and files directly into any application.

Détection de bots TypeScript : capture WebDriver, Chrome headless, Playwright/Puppeteer, mouvements de souris/frappe robotisés, IPs de centres de données, incompatibilités TLS JA3 et usurpation de fuseau horaire — pour navigateur et Node.

Preuve de concept démontrant qu'Edge stocke les identifiants en texte clair

Agent AIOps natif Hermes pour la réponse aux incidents basée sur des preuves, la remédiation avec approbation et l'apprentissage de runbooks.

Noyaux CUDA pour les variantes d'attention linéaire, écrits en CuTe DSL et CUTLASS C++.

Claw Code : Ni Rust, ni TypeScript, uniquement Python. Facile à utiliser, itération rapide. 🔥 Aucune dépendance externe 🔥

Headroom pour macOS — réduisez les coûts en jetons de Claude Code et Codex d'environ 50 %.

Collection de compétences d'agents pour les designers utilisant des outils de codage IA. Ces compétences encodent le processus de design pour que l'IA suive un chemin structuré plutôt que de produire des résultats aléatoires.

Awesome Multimodal Modeling [Couvre MLLM, UMM et NMM]

Une collection complète de fiches mémo, de guides et d'outils pour les tests d'intrusion.

Implémentation open source de Poke

C'est comme Claude Code + Linear + GitHub PR

Ce projet est exclusivement destiné à la gestion des actifs, à l'exploitation de sécurité et à la vérification de conformité dans des environnements autorisés en entreprise. Les utilisateurs doivent s'assurer qu'ils disposent d'une autorisation légale pour les systèmes cibles. Toute utilisation non autorisée est interdite et les développeurs ne sont pas responsables des abus.

Framework RPA pour WeChat 4.0 basé sur la reconnaissance visuelle, utilisant des modèles YOLO personnalisés, l'OCR et l'écoute de base de données pour une exécution sans intrusion. Il prend en charge l'intégration dynamique de plugins, OpenAI, Dify, l'analyse de tous les types de messages, l'envoi intégré de textes, d'images et de fichiers, ainsi que l'extension pour les mini-programmes et les moments.

Paysages et insights d'agents pilotés par les données. Produit par Ant Open Source et inclusionAI.

Plateforme communautaire pour le suivi de la compatibilité d'émulation sur différents appareils et émulateurs.

Contenu de cours sur l'informatique quantique.

🇨🇳 Détermine si l'utilisateur actuel est un utilisateur chinois.

Nœuds gratuits, renouvellement automatique de l'abonnement toutes les 3 heures.

Compagnon pour Stremio.

Un outil exceptionnel d'amélioration du menu contextuel du Finder pour rendre vos clics droits plus puissants.

Liste organisée de ressources exceptionnelles construites sur et avec iroh

Une alternative rapide et minimaliste à globby et fast-glob.