Stars
Resource/Notification of Bounded Arithmetic Reading Group at MIT, 2024 Fall
API and CLI tool to fetch and query Chome DevTools heap snapshots.
brpc is an Industrial-grade RPC framework using C++ Language, which is often used in high performance system such as Search, Storage, Machine learning, Advertisement, Recommendation etc. "brpc" mea…
An encrypted FUSE filesystem that use Google Drive as the storage
Multiroom meeting app integrating web tools
A booklet on machine learning systems design with exercises. NOT the repo for the book "Designing Machine Learning Systems", which is `dmls-book`
🎮 A fancy 2048 game build with react, redux best practices.
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
An experimental hosted platform (GitHub-like) for organizing, managing, sharing, collaborating, and making sense of data.
iOS Objective-C headers as derived from runtime introspection
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Encoding float3 normal vectors to uint16 by using optimized sperical coords together with alias method.
The Rust primer for beginners. We need native English speaker help us modify the translation.
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
Unofficial git mirror of the BER MetaOCaml patchset.