★ 1 912Ce projet transforme « A guide to how rustc works and how to contribute to it. This is a collaborative effort to build a guide that explains how rustc works. » 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.
HTMLSystèmes et infrastructure611 forks
★ 1 908Un compagnon Lean de l'Analyse I. Par exemple, le chapitre 2 développe une théorie des nombres naturels indépendante de Mathlib, mais tous les chapitres suivants utiliseront à la place les nombres naturels Mathlib.
LeanOutils de développement263 forks
★ 1 888Base de données HTAP native pour l'IA avec Git-for-Data et recherche vectorielle intégrée, servant de base de données et de mémoire pour les agents et applications intelligents.
GoIA et apprentissage automatique311 forks
★ 1 860Agent Substrat : le système de base. Agent Substrate est un système construit sur Kubernetes qui gère les charges de travail de type agent pour atteindre une évolutivité et une efficacité supérieures à celles que Kubernetes seul peut offrir, avec une latence plus faible.
GoOutils de développement318 forks
★ 1 849Zoo Code vous offre toute une équipe de développement d'agents IA dans votre éditeur de code.
TypeScriptIA et apprentissage automatique276 forks
★ 1 827Plateforme de maison intelligente sans cloud, basée sur Buildroot, pour une CCU IP Homematic (CCU3/ELV-Charly). Fonctionne sur Raspberry Pi & x86/ARM ou en tant qu'appliance virtuelle (Proxmox VE, Home Assistant, Docker/LXC/K8s)...
JavaScriptCloud natif et DevOps221 forks
★ 1 810Antrea est un projet de mise en réseau et de sécurité Kubernetes open source construit sur Open vSwitch, fournissant une mise en réseau de pods, l'application de politiques, l'intégration d'observabilité et des contrôles de passerelle pour les clusters de production.
GoSécurité et confidentialité496 forks
★ 1 803Infrastructure de communication pour l'ère de l'IA, un binaire, un courtier, une couche de stockage, n'importe quel protocole.
RustIA et apprentissage automatique256 forks
★ 1 798[publié] IoC IDLs-First Go (cadre de développement tout-en-un sur IoC et IDLs-First for Go).
GoOutils de développement233 forks
★ 1 787Un framework Go pour créer des systèmes d'agents de production avec des flux de travail graphiques, des outils, de la mémoire, A2A, AG-UI, MCP, évaluation et observabilité.
GoIA et apprentissage automatique307 forks
★ 1 778Un outil client DNS dynamique qui prend en charge AliDNS, Cloudflare, Google Domains, DNSPod, HE.net & DuckDNS & DreamHost, etc., écrit en Go.
GoCloud natif et DevOps247 forks
★ 1 755Un système de planification basé sur la QoS apporte une disposition et un statut optimaux aux charges de travail telles que les microservices, les services Web, les tâches Big Data, les tâches IA, etc.
GoIA et apprentissage automatique479 forks
★ 1 740Compilateur open source CUDA, Triton et HIP ciblant plusieurs architectures GPU et CPU.
CSystèmes et infrastructure93 forks
★ 1 729Ce projet transforme « Go implementation of data-plane-api. Instead, it provides infrastructure that is shared by multiple different control plane implementations. » 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.
GoOutils de développement567 forks
★ 1 697Ce projet transforme « Empower your hosting business with FOSSBilling, the free and open-source solution for efficient billing and client management. » 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.
PHPBases de données et stockage348 forks
★ 1 694MLRun est une plateforme MLOps open source permettant de créer et de gérer rapidement des applications ML continues tout au long de leur cycle de vie. MLRun s'intègre à votre environnement de développement et CI/CD et automatise la livraison des données de production, des pipelines ML et des applications en ligne.
PythonCloud natif et DevOps316 forks
★ 1 680Un outil CLI du langage de requête JSON. Séparateurs Séparateur de groupe Les séparateurs de groupe construisent un tableau à partir de sous-requêtes.
RustCloud natif et DevOps32 forks
★ 1 676Plateforme de recherche de référence d'inférence continue Open Source, Kimi K2.7-Code, MiniMax M3, DeepSeekv4, GLM5 - GB200 NVL72 vs MI355X vs B200 vs GB300 NVL72 et bientôt TPUv6e/v7/Trainium2/3 | , Kimi K2.7-Code MiniMax M3 DeepSeekv4 GLM5 - GB200 NVL72 contre MI355X contre B200 contre GB300 NVL72 TPUv6e/v7/Trainium2/3.
PythonIA et apprentissage automatique294 forks
★ 1 673Module Python pour la chimie quantique. Hermès, Kevin Koh, Peter Koval, Susi Lehtola, Zhendong Li, Junzi Liu, Narbe Mardirossian, James D.
PythonOutils de développement736 forks
★ 1 673Bibliothèque d'opérateurs TT-NN et modèle de programmation du noyau de bas niveau TT-Metalium.
C++IA et apprentissage automatique676 forks