Stars
A framework for distributed systems verification, with fault injection
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
A collection of TLA⁺ specifications of varying complexities.
A complete computer science study plan to become a software engineer.
Replicated State Library. RSL is the Azure Paxos implementation which is used by multiple products in Azure and Bing. It provides the traditional Paxos functionality in a real world implementation.…
A user-space file system for interacting with Google Cloud Storage
Checklist of the most important security countermeasures when designing, testing, and releasing your API
📚 Study guide and introduction to the modern front end stack.
📙 Amazon Web Services — a practical guide
Easy & Flexible Alerting With ElasticSearch
An AWS SDK-backed FileSystem driver for Hadoop
Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec
Super simple deployment tool - think of it like 'make' for a network of servers
CompletableFuture examples for IL JUG session on 30 of April
A book-in-progress about the Linux kernel and its insides.
Experiments and proposals for gRPC features.
Daemon for easy but powerful stats aggregation
Haywire is an asynchronous HTTP server framework written in C that's built using the event loop based libuv platform layer that node.js is built on top of.
HyperLogLog and HyperLogLog++ implementation in Go/Golang.
Countly is a privacy-first, AI-powered analytics and engagement platform for understanding and optimizing customer journeys across digital applications, from desktop and mobile to IoT and connected…
Distributed reliable key-value store for the most critical data of a distributed system
Swarm Classic: a container clustering system. Not to be confused with Docker Swarm which is at https://github.com/docker/swarmkit
Open Source Continuous File Synchronization