Stars
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. All in a modern, AI-native editor.
Techniques and numbers for estimating system's performance from first-principles
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
Formally verified operator language and rewriting engine for high-performance computing
A Library for Representing Recursive and Impure Programs in Coq
pandax381 / xv6-net
Forked from mit-pdos/xv6-publicxv6 OS with TCP/IP Network Stack
Reference implementation for the peer-to-peer agent that manages the Stellar network.