computersforpeace/linux-mtd
Public repository.
Developer Profile
computersforpeace
Discovered public repositories for computersforpeace in the GitHub catalog.
computersforpeace/bbb-floppy
Floppy Drive Music for the BeagleBone Black
computersforpeace/model-checker-benchmarks
CDSChecker benchmark suite
computersforpeace/model-checker
CDSChecker: A Model Checker for C11 and C++11 Atomics
computersforpeace/uci-thesis-latex
LaTeX template for thesis and dissertation documents at UC Irvine
computersforpeace/UBIFS-backports
UBIFS backports, for infradead.org
computersforpeace/chromeos
Linux kernel source tree