Guide to securing and improving privacy on macOS

A framework for formally verifying distributed systems implementations in Coq

HiBench is a big data benchmark suite.

Graphs for Everyone

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…