- Canada
- https://minhdo.org
Stars
Bootstrap Kubernetes the hard way. No scripts.
Machine Learning Conference & Summer School Notes. ๐ฆ
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
Interactive Markov-chain Monte Carlo Javascript demos
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
๐ Curated list of awesome resources on Compilers, Interpreters and Runtimes
Master programming by recreating your favorite technologies from scratch.
Queueing theory: an introduction for software development
๐ source material for Thinking with Types
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Driller: augmenting AFL with symbolic execution!
A powerful and user-friendly binary analysis platform!
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
System design interview for IT companies
A database of unforgeable append-only feeds, optimized for efficient replication for peer to peer protocols
peer-to-peer replicatable data structure
Collection of various research papers I find interesting
E2EMail is a simple Chrome application - a Gmail client that exchanges OpenPGP mail.
A fast, practical GPU rasterizer for fonts and vector graphics
signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.
Screaming-fast Python 3.5+ HTTP toolkit integrated with pipelining HTTP server based on uvloop and picohttpparser.