Stars
A comprehensive list of papers for the definition of World Models and using World Models for General Video Generation, Embodied AI, and Autonomous Driving, including papers, codes, and related webs…
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
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.
Protect your SSH keys with your Mac's Secure Enclave
A very minimal but elegant emacs (I think)
A collection of TLA⁺ specifications of varying complexities.