#Apache 2.0

rust-lang

rustc-dev-guide

★ 1,912

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.

teorth

analysis

★ 1,908

A Lean companion to Analysis I. For instance, Chapter 2 develops a theory of the natural numbers independent of Mathlib, but all subsequent chapters will use the Mathlib natural numbers instead.

matrixorigin

matrixone

★ 1,888

AI-native HTAP database with Git-for-Data and built-in vector search, serving as the data and memory backbone for intelligent agents and applications.

agent-substrate

substrate

★ 1,860

Agent Substrate: the core system. Agent Substrate is a system built on top of Kubernetes which manages agent-like workloads to achieve higher scale and efficiency than Kubernetes alone can offer, with lower latency.

Zoo-Code-Org

Zoo-Code

★ 1,849

Zoo Code gives you a whole dev team of AI agents in your code editor.

OpenCCU

OpenCCU

★ 1,827

Buildroot-based, cloud-free smart-home platform for a Homematic IP CCU (CCU3/ELV-Charly). Runs on Raspberry Pi & x86/ARM or as a virtual appliance (Proxmox VE, Home Assistant, Docker/LXC/K8s)...

antrea-io

antrea

★ 1,810

Antrea is an open-source Kubernetes networking and security project built on Open vSwitch, providing pod networking, policy enforcement, observability integration, and gateway controls for production clusters.

robustmq

robustmq

★ 1,803

Communication infrastructure for the AI era, one binary, one broker, one storage layer, any protocol.

go-spring

go-spring

★ 1,798

[released] IoC IDLs-First Go ( All-in-One Development Framework on IoC and IDLs-First for Go ).

trpc-group

trpc-agent-go

★ 1,787

A Go framework for building production agent systems with graph workflows, tools, memory, A2A, AG-UI, MCP, evaluation, and observability.

TimothyYe

godns

★ 1,778

A dynamic DNS client tool that supports AliDNS, Cloudflare, Google Domains, DNSPod, HE.net & DuckDNS & DreamHost, etc, written in Go.

koordinator-sh

koordinator

★ 1,755

A QoS-based scheduling system brings optimal layout and status to workloads such as microservices, web services, big data jobs, AI jobs, etc.

Zaneham

Booth

★ 1,740

Open-source CUDA, Triton and HIP compiler targeting multiple GPU and CPU architectures.

envoyproxy

go-control-plane

★ 1,729

Go implementation of data-plane-api. Instead, it provides infrastructure that is shared by multiple different control plane implementations.

FOSSBilling

FOSSBilling

★ 1,697

Empower your hosting business with FOSSBilling, the free and open-source solution for efficient billing and client management.

mlrun

mlrun

★ 1,694

MLRun is an open source MLOps platform for quickly building and managing continuous ML applications across their lifecycle. MLRun integrates into your development and CI/CD environment and automates the delivery of production data, ML pipelines, and online applications.

yamafaktory

jql

★ 1,680

A JSON Query Language CLI tool. Separators Group separator Group separators build up an array from sub-queries.

SemiAnalysisAI

InferenceX

★ 1,676

Open Source Continuous Inference Benchmark Research Platform, Kimi K2.7-Code, MiniMax M3, DeepSeekv4, GLM5 - GB200 NVL72 vs MI355X vs B200 vs GB300 NVL72 & soon 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.

pyscf

pyscf

★ 1,673

Python module for quantum chemistry. Hermes, Kevin Koh, Peter Koval, Susi Lehtola, Zhendong Li, Junzi Liu, Narbe Mardirossian, James D.

tenstorrent

tt-metal

★ 1,673

TT-NN operator library, and TT-Metalium low level kernel programming model.