Metamath source file for logic and set theory

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox.

A selection of textbook-like course notes for the Imperial College Computing modules.