★ 1.912Dieses Projekt rundet „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.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.
HTMLSysteme & Infrastruktur611 Forks
★ 1.908Ein Lean-Begleiter zu Analysis I. Beispielsweise wird in Kapitel 2 eine von Mathlib unabhängige Theorie der natürlichen Zahlen entwickelt, in allen folgenden Kapiteln werden jedoch stattdessen die natürlichen Zahlen von Mathlib verwendet.
LeanEntwicklerwerkzeuge263 Forks
★ 1.877Dieses Projekt rundet „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?“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.
KotlinMobile Entwicklung397 Forks
★ 1.870Einfache PHP-Versionsverwaltung. Haben Sie sich jemals gefragt, warum Sie eine PHP-App nicht auf Ihrem eigenen Entwicklungscomputer ausführen können?
ShellEntwicklerwerkzeuge143 Forks
★ 1.869Der Standard-Bucket für Scoop. Dies ist der Standard-Bucket für Scoop und wird standardmäßig hinzugefügt.
PowerShellEntwicklerwerkzeuge1.189 Forks
★ 1.869Conda-Rezepte für den Bioconda-Kanal. Nächtlicher Build-Status Die nächtlichen Uploader-Jobs erstellen alle Rezepte, die auf dem Master vorhanden sind, aber nicht erfolgreich auf den Bioconda-Kanal hochgeladen wurden.
ShellEntwicklerwerkzeuge4.097 Forks
★ 1.863Ein Neovim-Plugin für den Yazi-Terminal-Dateimanager. Mit diesem Plugin können Sie Yazi in einem schwebenden Fenster in Neovim öffnen.
LuaSysteme & Infrastruktur58 Forks
★ 1.860Agentensubstrat: das Kernsystem. Agent Substrate ist ein auf Kubernetes aufbauendes System, das agentenähnliche Arbeitslasten verwaltet, um eine höhere Skalierbarkeit und Effizienz zu erreichen, als Kubernetes allein bieten kann, und das bei geringerer Latenz.
GoEntwicklerwerkzeuge318 Forks
★ 1.851Multi Theft Auto ist eine Spiel-Engine, die Grand Theft Auto: San Andreas in einen vernetzten Multiplayer verwandelt.
C++Spieleentwicklung581 Forks
★ 1.849Zoo Code bietet Ihnen ein ganzes Entwicklerteam von KI-Agenten in Ihrem Code-Editor.
TypeScriptKI & maschinelles Lernen276 Forks
★ 1.838Android-Anwendung für Meshtastic. Meshtastic-Android Dies ist ein Tool zur Verwendung von Android (und Compose Desktop) mit Open-Source-Mesh-Radios.
KotlinMobile Entwicklung515 Forks
★ 1.833Ihr autonomes Engineering-Team in einer CLI. Die Agentenschleife erzeugt Code auf höchster Ebene, dem Sie aufgrund des nicht verhandelbaren Feedbacks unabhängiger Prüfer tatsächlich vertrauen können. Unterstützt Claude Code, OpenAI Codex, OpenCode und Gemini CLI mit einfacher Einrichtung.
JavaScriptKI & maschinelles Lernen171 Forks
★ 1.824Dieses Projekt rundet „Open-source, local-first conversational AI video editor with a professional multi-track timeline, Agent Skills, MCP integration, and Remotion rendering.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.
TypeScriptKI & maschinelles Lernen271 Forks
★ 1.823Dieses Projekt rundet „, 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.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.
TypeScriptEntwicklerwerkzeuge335 Forks
★ 1.810Antrea ist ein Open-Source-Kubernetes-Netzwerk- und Sicherheitsprojekt, das auf Open vSwitch basiert und Pod-Netzwerke, Richtliniendurchsetzung, Observability-Integration und Gateway-Kontrollen für Produktionscluster bereitstellt.
GoSicherheit & Datenschutz496 Forks
★ 1.802Sperrliste für Phishing- und Betrugsdomänen in Echtzeit, über 190.000 kuratierte Bedrohungen, über 888.000 Communitys, kostenlose API, mehrere Formate.
HTMLSicherheit & Datenschutz501 Forks
★ 1.798[veröffentlicht] IoC IDLs-First Go (All-in-One-Entwicklungsframework für IoC und IDLs-First für Go).
GoEntwicklerwerkzeuge233 Forks
★ 1.795IP-Sentinel VPS IP IP-Telegramm. IP-Sentinel ist die beste Lösung für VPS资产养护系统,通过地理位置信号锚定与高拟真本土流量注入,精准解决 IP定位偏移(IP送中)及风控分过高的痛点, 并配合 Telegram实现全球多节点„低功耗、拟真、无人值守“的自动化资产养护.
ShellEntwicklerwerkzeuge204 Forks
★ 1.755Offizielles JavaScript-Repository für die Clerk-Authentifizierung. Der offizielle Clerk JavaScript SDKs Clerk hilft Entwicklern beim Aufbau der Benutzerverwaltung.
TypeScriptSicherheit & Datenschutz474 Forks
★ 1.736crossxx-labs/free-proxy bietet eine praxistaugliche Open-Source-Implementierung mit stabiler Einsatzbarkeit für reale Anwendungsfälle.
ShellEntwicklerwerkzeuge76 Forks