sky Drake's repositories
dragonboat
A feature complete and high performance multi-group Raft library in Go.
Examples
A collection of TLA+ specifications of varying complexities
fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
HackerRank
my HackerRank solutions
penseive
some thoughts
ProjectEuler
my ProjectEuler solutions
RSL
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. RSL includes support for dynamic replica set reconfiguration, including dynamic growth/srinking of the cluster, and also service-healing (replica replacement). RSL automates the durability of the state (by means of both durable journal files, and periodic snapshots). RSL allows multi-rings per process, allowing a single process to be part of multiple rings at the same time. RSL is implemented in C/C++ and provides a C# wrapper that naturally integrates with C# applications. RSL is widely used in Azure for a large number of infrastructure components, ranging from Azure Fabric Controller, to Azure Storage.
sdlpal
SDL-based reimplementation of the classic Chinese-language RPG "Xiān jiàn Qí Xiá Zhuàn" (also known as PAL).
sky7drake.github.io
Sky's blog
Windows-classic-samples
This repo contains samples that demonstrate the API used in Windows classic desktop applications.