★ 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 877Ce projet transforme « Experimental IDE for building Android applicatons on Android. CodeAssist A lightweight, on-device IDE that edits *and builds* Android & Java projects, no laptop, no Gradle daemon.** What is CodeAssist? » 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.
KotlinDéveloppement mobile397 forks
★ 1 870Gestion simple des versions PHP. Vous êtes-vous déjà demandé pourquoi vous ne pouvez pas exécuter une application PHP sur votre propre machine de développement ?
ShellOutils de développement143 forks
★ 1 869Le compartiment par défaut pour Scoop. Il s'agit du compartiment par défaut pour Scoop et il est ajouté par défaut.
PowerShellOutils de développement1 189 forks
★ 1 869Recettes Conda pour la chaîne bioconda. Statut de construction nocturne Les tâches de téléchargement nocturne créent toutes les recettes qui existent sur master mais qui n'ont pas été téléchargées avec succès sur le canal bioconda.
ShellOutils de développement4 097 forks
★ 1 863Un plugin Neovim pour le gestionnaire de fichiers du terminal yazi. Ce plugin permet d'ouvrir yazi dans une fenêtre flottante dans Neovim.
LuaSystèmes et infrastructure58 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 851Multi Theft Auto est un moteur de jeu qui transforme Grand Theft Auto : San Andreas en multijoueur en réseau.
C++Développement de jeux581 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 838Application Android pour Meshtastic. Meshtastic-Android Il s'agit d'un outil permettant d'utiliser Android (et Compose Desktop) avec des radios mesh open source.
KotlinDéveloppement mobile515 forks
★ 1 833Votre équipe d’ingénierie autonome dans une CLI. La boucle d'agent produit du code de niveau supérieur auquel vous pouvez réellement faire confiance en production grâce aux commentaires non négociables des réviseurs indépendants. Prend en charge Claude Code, OpenAI Codex, OpenCode et Gemini CLI avec une configuration triviale.
JavaScriptIA et apprentissage automatique171 forks
★ 1 824Ce projet transforme « Open-source, local-first conversational AI video editor with a professional multi-track timeline, Agent Skills, MCP integration, and Remotion rendering. » 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.
TypeScriptIA et apprentissage automatique271 forks
★ 1 823Ce projet transforme « , HWP HWPX PDF Office Markdown . CLI MCP | Convert Korean documents (HWP, HWPX, PDF, Office) to Markdown, CLI and MCP server with form filling and diff. » 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.
TypeScriptOutils de développement335 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 802Liste de blocage de domaines de phishing et d'arnaque en temps réel, plus de 190 000 menaces organisées, plus de 888 000 communautés, API gratuite, formats multiples.
HTMLSécurité et confidentialité501 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 795IP-Sentinel VPS IP Télégramme IP . IP-Sentinel est un serveur VPS Les adresses IP定位偏移(IP送中)及风控分过高的痛点,并配合 Telegram "低功耗、拟真、无人值守"的自动化资产养护。
ShellOutils de développement204 forks
★ 1 755Référentiel JavaScript officiel pour l'authentification des employés. Official Clerk JavaScript SDKs Clerk aide les développeurs à créer une gestion des utilisateurs.
TypeScriptSécurité et confidentialité474 forks
★ 1 736crossxx-labs/free-proxy offre une implémentation open source exploitable en conditions réelles avec une structure réutilisable.
ShellOutils de développement76 forks