Dongjie Chen's starred repositories
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
FuzzingPaper
Recent Fuzzing Paper
iron-kaleidoscope
LLVM tutorial in Rust language
awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
og-equity-compensation
Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec
rust-cheatsheet
A type-based Rust cheatsheet
shellcheck
ShellCheck, a static analysis tool for shell scripts
the-art-of-command-line
Master the command line, in one page
programming-talks
Awesome & interesting talks about programming
cheatsheets
Cheatsheets for web development - devhints.io
virtualenv
Virtual Python Environment builder
gdb-dashboard
Modular visual interface for GDB in Python