RÉPERTOIRE HYSEN LABS

#Apache 2.0

Tag Licence · dépôts sélectionnés et analyses approfondies.

429 projets open source sélectionnés
uber-go

nilaway

3 904

Outil d'analyse statique pour détecter les paniques nulles potentielles dans le code Go. NilAway [![GoDoc][doc-img]][doc] [![Build Status][ci-img]][ci] [![Coverage Status][cov-img]][cov] [!WARNING] NilAway est actuellement en développement actif : des faux positifs et des modifications importantes peuvent survenir.

GoOutils de développement96 forks
EverMind-AI

Raven

3 858

L'exploit d'agents auto-améliorables axé sur la mémoire, construit sur EverOS, avec une recherche et un raisonnement approfondis basés sur MiroThinker.

PythonIA et apprentissage automatique78 forks
SchemaStore

schemastore

3 839

Une collection de fichiers de schéma JSON comprenant une API complète. Visual Studio Code Créez .vscode/mcp.json dans votre espace de travail : Visual Studio Ajoutez un fichier .mcp.json à la racine de votre solution : N'importe quel client MCP Orientez votre client vers l'utilisation du transport HTTP.

JavaScriptOutils de développement2 318 forks
3 810

Une bibliothèque unifiée de techniques d'optimisation de modèles SOTA telles que la quantification, la distillation, l'élagage, la recherche d'architecture neuronale, le décodage spéculatif, etc. Elle compresse les modèles d'apprentissage en profondeur pour les cadres de déploiement en aval tels que TensorRT-LLM, TensorRT, vLLM, etc. afin d'optimiser la vitesse d'inférence.

PythonIA et apprentissage automatique599 forks
sorbet

sorbet

3 800

Un vérificateur de type rapide et puissant conçu pour Ruby. internals.md Il existe également une discussion en ligne qui décrit l'architecture de haut niveau de Sorbet et les raisons pour lesquelles elle est rapide : Vérification rapide du type pour Ruby Building Sorbet Il existe plusieurs façons de construire un sorbet.

C++Outils de développement630 forks
yvgude

lean-ctx

3 781

Contrôlez ce que votre IA peut voir. LeanCTX (Lean Context) est la couche d'intelligence contextuelle pour les agents d'IA, un binaire Rust local qui décide de ce qu'ils lisent, se souvient de ce qu'ils apprennent, protège ce qu'ils touchent et prouve ce qu'ils enregistrent. 60 90 % de jetons en moins que le reçu. 76 outils MCP, plus de 30 agents, une priorité locale.

RustIA et apprentissage automatique347 forks
openrewrite

rewrite

3 710

Ce projet transforme « Automated mass refactoring of source code. It consists of an auto-refactoring engine that runs prepackaged, open source refactoring recipes for common framework migrations, security fixes, and stylistic consistency tasks-reducing your coding effort from hours or days to minutes. » 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.

JavaOutils de développement569 forks
marin-community

marin

3 649

Cadre open source pour la recherche et le développement de modèles de fondation. Le principal cas d'utilisation de Marin est un modèle de langage de formation comme Llama, DeepSeek, Qwen, etc.

PythonOutils de développement292 forks
strukto-ai

mirage

3 633

Le système de fichiers virtuel unifié pour les agents IA. **Intégrable :** les SDK Python et TypeScript s'exécutent en cours de processus dans FastAPI, Express, les applications de navigateur ou tout autre environnement d'exécution asynchrone ; aucun processus distinct n’est requis.

TypeScriptIA et apprentissage automatique268 forks
yaojingang

GEOFlow

3 631

Ce projet transforme « Open-source GEO content engineering and multi-site distribution system with AI tasks, RAG/semantic chunking, analytics, GEOFlow Agent and WordPress target publishing. » 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.

PHPIA et apprentissage automatique823 forks
coveragepy

coveragepy

3 412

L'outil de couverture de code pour Python. Il utilise les outils d'analyse de code et les hooks de traçage fournis dans la bibliothèque standard Python pour déterminer quelles lignes sont exécutables et lesquelles ont été exécutées.

PythonOutils de développement523 forks
AcademySoftwareFoundation

openvdb

3 404

OpenVDB - Structure et outils de données de volumes clairsemés. Il a été développé par DreamWorks Animation pour être utilisé dans les applications volumétriques généralement rencontrées dans la production de longs métrages.

C++Outils de développement774 forks
letta-ai

letta-code

3 339

Des agents avec état qui ressemblent à des personnes, dotés de mémoire, d'identité et de capacité d'apprentissage et d'adaptation.

TypeScriptIA et apprentissage automatique402 forks
Emanuele-web04

remodex

3 317

Ce projet transforme « Remote Control for Codex. Remodex is a local-first open-source bridge + iOS app that keeps the Codex runtime on your Mac and lets your phone connect through a paired secure session. » 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.

SwiftDéveloppement web369 forks
foryourhealth111-pixel

Vibe-Skills

3 291

foryourhealth111-pixel/Vibe-Skills offre une implémentation open source exploitable en conditions réelles avec une structure réutilisable.

PythonIA et apprentissage automatique279 forks
superlinked

sie

3 283

Serveur d'inférence open source et cluster de production pour tous les modèles dont votre agent a besoin.

PythonIA et apprentissage automatique312 forks
3 167

Ce projet transforme « One governed graph for AI agents, GraphQL + MCP over your databases, files, APIs, and code. » 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.

GoIA et apprentissage automatique195 forks