Pinned Repositories
6.828-qemu
qemu patched for debugging, used for 6.828
docs
API Documentations, HowTos and Tutorials
emacs-starter-kit
DEPRECATED: replaced by eschulte/emacs24-starter-kit. A "literate" Org-mode based Emacs configuration.
igt-gpu-tools
iotools
Automatically exported from code.google.com/p/iotools
linux
Linux kernel source tree
saop
"Scheme and the Art of Programming" book by George Springer and Daniel P. Friedman
the-little-prover
The Little Prover
the-little-schemer
Scheme and Emacs Lisp code for Book "The Little Schemer"
the-seasoned-schemer
Scheme and Emacs-Lisp code for "The Seasoned Schemer" Book
almahallawy's Repositories
almahallawy/the-little-schemer
Scheme and Emacs Lisp code for Book "The Little Schemer"
almahallawy/igt-gpu-tools
almahallawy/saop
"Scheme and the Art of Programming" book by George Springer and Daniel P. Friedman
almahallawy/6.828-qemu
qemu patched for debugging, used for 6.828
almahallawy/docs
API Documentations, HowTos and Tutorials
almahallawy/emacs-starter-kit
DEPRECATED: replaced by eschulte/emacs24-starter-kit. A "literate" Org-mode based Emacs configuration.
almahallawy/iotools
Automatically exported from code.google.com/p/iotools
almahallawy/linux
Linux kernel source tree
almahallawy/the-little-prover
The Little Prover
almahallawy/the-seasoned-schemer
Scheme and Emacs-Lisp code for "The Seasoned Schemer" Book
almahallawy/ostep-code
Code from various chapters in OSTEP (http://www.ostep.org)
almahallawy/ostep-projects
Projects for an undergraduate OS course
almahallawy/xv6-book
Commentary for xv6-public