Lists (1)
Stars
A feature-rich command-line audio/video downloader
👔 A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!
Service Fabric is a distributed systems platform for packaging, deploying, and managing stateless and stateful distributed applications and containers at large scale.
Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared …
A ChatGPT bot for Kubernetes issues.
A virtual DOM library with focus on simplicity, modularity, powerful features and performance.
A Super Mario 64 decompilation, brought to you by a bunch of clever folks.
Coroot is an open-source observability and APM tool with AI-powered Root Cause Analysis. It combines metrics, logs, traces, continuous profiling, and SLO-based alerting with predefined dashboards a…
Enhancements tracking repo for Kubernetes
An artificial intelligence platform for the StarCraft II with large-scale distributed training and grand-master agents.
Enhancing the Factorio experience with SAT solvers
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Tool to create bootable disk images from a Rust OS kernel.
Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
Open source neural network chess engine with GPU acceleration and broad hardware support.
Amazon Managed Service for Prometheus Public Roadmap
List of evergreen skills, based on software development best practices & cross-framework principles, that should serve as a fair assessment of skilled software engineers / developers
A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
Sources for my PhD dissertation on the Raft consensus algorithm
TLA+ specification for the Raft consensus algorithm
The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)
A toolkit for developing and comparing reinforcement learning algorithms.