★ 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.888KI-native HTAP-Datenbank mit Git-for-Data und integrierter Vektorsuche, die als Daten- und Speicherrückgrat für intelligente Agenten und Anwendungen dient.
GoKI & maschinelles Lernen311 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.849Zoo Code bietet Ihnen ein ganzes Entwicklerteam von KI-Agenten in Ihrem Code-Editor.
TypeScriptKI & maschinelles Lernen276 Forks
★ 1.827Buildroot-basierte, cloudfreie Smart-Home-Plattform für eine Homematic IP CCU (CCU3/ELV-Charly). Läuft auf Raspberry Pi & x86/ARM oder als virtuelle Appliance (Proxmox VE, Home Assistant, Docker/LXC/K8s)...
JavaScriptCloud Native & DevOps221 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.803Kommunikationsinfrastruktur für das KI-Zeitalter, eine Binärdatei, ein Broker, eine Speicherschicht, jedes Protokoll.
RustKI & maschinelles Lernen256 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.787Ein Go-Framework zum Aufbau von Produktionsagentensystemen mit Diagramm-Workflows, Tools, Speicher, A2A, AG-UI, MCP, Auswertung und Beobachtbarkeit.
GoKI & maschinelles Lernen307 Forks
★ 1.778Ein dynamisches DNS-Client-Tool, das AliDNS, Cloudflare, Google Domains, DNSPod, HE.net & DuckDNS & DreamHost usw. unterstützt, geschrieben in Go.
GoCloud Native & DevOps247 Forks
★ 1.755Ein QoS-basiertes Planungssystem sorgt für optimales Layout und Status für Workloads wie Microservices, Webservices, Big-Data-Jobs, KI-Jobs usw.
GoKI & maschinelles Lernen479 Forks
★ 1.740Open-Source-CUDA-, Triton- und HIP-Compiler für mehrere GPU- und CPU-Architekturen.
CSysteme & Infrastruktur93 Forks
★ 1.729Dieses Projekt rundet „Go implementation of data-plane-api. Instead, it provides infrastructure that is shared by multiple different control plane implementations.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.
GoEntwicklerwerkzeuge567 Forks
★ 1.697Dieses Projekt rundet „Empower your hosting business with FOSSBilling, the free and open-source solution for efficient billing and client management.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.
PHPDatenbanken & Speicher348 Forks
★ 1.694MLRun ist eine Open-Source-MLOPs-Plattform zum schnellen Erstellen und Verwalten kontinuierlicher ML-Anwendungen über ihren gesamten Lebenszyklus. MLRun lässt sich in Ihre Entwicklungs- und CI/CD-Umgebung integrieren und automatisiert die Bereitstellung von Produktionsdaten, ML-Pipelines und Online-Anwendungen.
PythonCloud Native & DevOps316 Forks
★ 1.680Ein JSON-Query-Language-CLI-Tool. Trennzeichen Gruppentrennzeichen Gruppentrennzeichen bilden ein Array aus Unterabfragen.
RustCloud Native & DevOps32 Forks
★ 1.676Open Source Continuous Inference Benchmark Research Platform, Kimi K2.7-Code, MiniMax M3, DeepSeekv4, GLM5 – GB200 NVL72 vs. MI355X vs. B200 vs. GB300 NVL72 und bald TPUv6e/v7/Trainium2/3 | , Kimi K2.7-Code MiniMax M3 DeepSeekv4 GLM5 – GB200 NVL72 vs. MI355X vs. B200 vs. GB300 NVL72 TPUv6e/v7/Trainium2/3.
PythonKI & maschinelles Lernen294 Forks
★ 1.673Python-Modul für Quantenchemie. Hermes, Kevin Koh, Peter Koval, Susi Lehtola, Zhendong Li, Junzi Liu, Narbe Mardirossian, James D.
PythonEntwicklerwerkzeuge736 Forks
★ 1.673TT-NN-Operatorbibliothek und TT-Metalium-Low-Level-Kernel-Programmiermodell.
C++KI & maschinelles Lernen676 Forks