A model that uses q learning and agents to optimize commodity portfolios and storage

Lemonade helps users discover and run local AI apps by serving optimized LLMs right from their own GPUs and NPUs. Join our discord: https://discord.gg/5xXzkMu8Zk

A Git-compatible VCS that is both simple and powerful

💚 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