🔥 End-to-end encrypted cloud for everything.

FFmpeg Assembly Language Lessons

A simple VRRP implementation

A detailed python reMarkable API interface

A curated list of projects related to the reMarkable tablet

Piccolo OS is a small multitasking OS for the Raspberry Pi Pico. It is designed primarily as a teaching tool. It demonstrates the fundamentals of a co-operative multitasking OS and the Arm Cortex-M0+.

A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support

YaFSDP: Yet another Fully Sharded Data Parallel

Main repository for Datadog Agent

tiktoken is a fast BPE tokeniser for use with OpenAI's models.

llama3 implementation one matrix multiplication at a time

Lecture notes for a short course on proving/programming in Coq via SSReflect.

Code for the book "The Elements of Differentiable Programming".

Distribute and run LLMs with a single file.

ClickHouse® is a real-time analytics database management system

Shotizam analyzes the size of Go binaries

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

The Orchestration Engine To Deliver Self-Service Infrastructure ⚡️

felixge's notes on the various go profiling methods that are available.

Get Things Done with Emacs

A high-performance observability data pipeline.

Protect your SSH keys with your Mac's Secure Enclave

A very minimal but elegant emacs (I think)

A low-latency, cloud-native KVS

A collection of TLA⁺ specifications of varying complexities.

## Auto-archived due to inactivity. ## Interfacing R and Datadog

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Mirror of Apache Kafka

A hands-on-lab/tutorial for learning JDK Mission Control 7+.