Chris Bailey's starred repositories
yuujinchou
👹 A library for hierarchical names and lexical scoping
RISC-V-book
A translation project of the RISC-V reader
userland-prototype
Proof-of-concept prototype for Userland
counterexamples
Counterexamples in Type Systems