Stars
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
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
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.
A high-performance observability data pipeline.
A very minimal but elegant emacs (I think)
A collection of TLA⁺ specifications of varying complexities.
DataDog / rdog
Forked from alq666/rdog## 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+.
A hands-on-lab/tutorial for learning JDK Mission Control 7+.
Automated upstream mirror for libbpf stand-alone build.