Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication feat…

Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive lea…

Dafny is a verification-aware programming language

Robust Distributed Programming Made Easy and Efficient

Allure integrations for C# test frameworks

Repository for sample Windows applications and tools that use eye tracking