Lists (1)
Stars
GPUd automates monitoring, diagnostics, and issue identification for GPUs
A minimal GPU design in Verilog to learn how GPUs work from the ground up
A deep-dive on the entire history of deep-learning
The official GPU prover implementation for SP1, written in CUDA.
Asynchronous P2P communication backend for decentralized pipeline parallelism
A course of learning LLM inference serving on Apple Silicon for systems engineers: build a tiny vLLM + Qwen.
Embeddable library or single binary for indexing and searching 1B vectors
ASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale
A high-performance algorithmic trading platform and event-driven backtester
A high-throughput and memory-efficient inference and serving engine for LLMs
The official Rust SDK for the Model Context Protocol
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A Datacenter Scale Distributed Inference Serving Framework
Simple tool to convert json to yaml written in Go.
Distributed training framework for TensorFlow, Keras, PyTorch, and Apache MXNet.
Papers from the computer science community to read and discuss.
Build reliable AI Workflows and Agents with humans in the loop, structured outputs and durable execution.
A toolkit for orchestrating distributed systems at any scale. It includes primitives for node discovery, raft-based consensus, task scheduling and more.
Simulator application on top of Malachite Engine
The book "Performance Analysis and Tuning on Modern CPU"
A Decentralized Operating System for ZK Applications
Patterns and resources of low latency programming.