Tous les dépôts

🦥 Optimisez votre expérience Haskell dans Neovim !

Joyplots en Python avec matplotlib & pandas :chart_with_upwards_trend:

Open-source AI-powered video sequence platform built with TanStack Start

Un petit programme pour détecter le charabia à l'aide d'une chaîne de Markov

MCP permettant aux agents IA de contrôler Unreal

Open Network Linux - Un système d'exploitation pour commutateurs nus (bare metal)

Le dépôt officiel pour l'article LLMs-as-Judges: A Comprehensive Survey on LLM-based Evaluation Methods.

Un formateur pour le langage Ruby écrit en Ruby

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

Le client web Ember pour Travis CI

Un SDK composable, orienté code, pour créer des agents IA puissants.

Un éditeur Markdown de bureau open-source au style moderne pour Windows 7 et versions ultérieures, basé sur WPF

[ACL 2026 Oral] "LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?"

Un framework web full stack écrit en janet

Mes compétences personnalisées d'agent IA

Un 'fs' léger et rapide pour le navigateur

Cert Warden est un client ACME centralisé. Il fournit une API permettant aux consommateurs de certificats de récupérer leurs clés et certificats individuels à l'aide de clés API.

Portefeuille de crypto-monnaie isolé (air-gapped).

MacCheck 验机宝 : outil local de test matériel pour Mac, d'inspection interactive et d'export de rapports PDF/PNG

Une nouvelle méthode d'interaction humaine pour l'extraction de la parole en temps réel sur les écouteurs.

Une liste de jeux de données de réponses impulsionnelles de salles publiquement disponibles et de scripts pour les télécharger.

Il s'agit d'une application espionne Android qui télécharge les données de l'utilisateur telles que contacts, messages, journaux d'appels & enregistrements, envoie des messages, photos, vidéos, etc.

DEPRECATED - Ceci est un fork d'OBS-studio avec un support générique pour WebRTC. Il utilise la même implémentation WebRTC qu'utilisent la plupart des navigateurs.

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

translittérations ASCII de texte Unicode - miroir GitHub

🎨 Le framework d'UI générative que même les humains peuvent utiliser.

gestionnaire de fenêtres velox

Dépôt officiel des agents de télédétection intelligente : une étude

physica : vecteurs, champs, différentiels, dérivées, brakets de Dirac, tenseurs et plus. Voir les exemples dans le manuel PDF.