Colin S. Gordon's repositories
freebsd-vf2
FreeBSD on StarFive VisionFive 2
checker-framework
Pluggable type-checking for Java
effing-mad
Algebraic effects for Rust
freebsd-starfive2
Work based off 14-CURRENT to run FreeBSD on the StarFive VisionFive2. Cross-build w/ 13.2 or 14
gt-nlp-class
Course materials for Georgia Tech CS 4650 and 7650, "Natural Language"
kodama-theme
Theme for zola inspired by hugo academic theme.
mapping-high-level-constructs-to-llvm-ir
A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
nsf-proposal-latex-samples
LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.research.gov/research-web/content/aboutpsm Feedback syee@nsf.gov
rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
toaruos
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.
xv6-public
xv6 OS