Stars
🤖 Places where you can learn robotics (and stuff like that) online 🤖
Awesome list of distributed transactions
Sources for my PhD dissertation on the Raft consensus algorithm
A retargetable MLIR-based machine learning compiler and runtime toolkit.
Complete implementations from "Algorithms for Modern Hardware"
Vald. A Highly Scalable Distributed Vector Search Engine
💎 A curated list of awesome Competitive Programming, Algorithm and Data Structure resources
A model checker for implementing distributed systems.
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Dedicated Resources for the Low-Level System Design. Learn how to design and implement large-scale systems. Prep for the system design interview.
Make AI do actual work. Swap the model anytime — keep everything you've built.
NitroML is a modular, portable, and scalable model-quality benchmarking framework for Machine Learning and Automated Machine Learning (AutoML) pipelines.
A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)
Rich is a Python library for rich text and beautiful formatting in the terminal.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
A themeable stylesheet for Asciidoctor.
Minisketch: an optimized library for BCH-based set reconciliation
The live data layer for apps and AI agents. Create up-to-the-second views into your business, just using SQL
Library for managing service-level fault isolation using Amazon Route 53.
Fast persistent recoverable log and key-value store + cache, in C# and C++.
How to systematically secure anything: a repository about security engineering
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.