Stars
Manopt, a Matlab toolbox for optimization on manifolds
C++14 asynchronous allocation aware futures (supporting then, exception handling, coroutines and connections)
Extension to shift clock on Gnome to its right place
Library for managing service-level fault isolation using Amazon Route 53.
Staging repo for development of native port of TypeScript
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!
UCB EECS126 : probability theory and random processes.
A framework for distributed systems verification, with fault injection
A workbench for writing toy implementations of distributed systems.
Collection of John Carmack’s .plan files
Code examples, data structures, and links from my book, Rust Atomics and Locks.
Companion webpage to the book "Mathematics For Machine Learning"
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
An Emacs mode to help you learn the proper Emacs movement keys
CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)
Reference implementation of the Picnic post-quantum signature scheme
A feature-rich command-line audio/video downloader
The reference implementation of the Linux FUSE (Filesystem in Userspace) interface