#
Starred repositories
11
stars
written in TeX
Clear filter
The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)
Classical equations and diagrams in machine learning
Course materials for Georgia Tech CS 4650 and 7650, "Natural Language"
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
A book about compiling Racket and Python to x86-64 assembly
A Rust language and style specification for the LaTeX-package listings
A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
Free textbook on graduate-level applied math for science and engineering
My Bachelor's thesis titled "Evaluation of performance and productivity metrics of potential programming languages in the HPC environment".
Public-facing course info for program analysis materials.