x86
Web resources
code challenge - Emulate an Intel 8086 CPU - Programming Puzzles & Code Golf Stack Exchange ★
Can one isolate processes on a 8086? - Retrocomputing Stack Exchange ★
Repositories
zwegner/x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs ★★★
(in Compiler Construction) radian-software/kalyn: self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch. ★
(in Compiler Construction) namin/inc: an incremental approach to compiler construction ★
(in Forth) meithecatte/miniforth: A bootsector FORTH ★
Papers
8086 Microprocessor Cheatsheet ★
(in miniKanren) Relational Processing for Fun and Diversity ★
Books
Mastering Turbo Assembler (online @ archive.org, github.com) (borrow @ archive.org) ★
80386 -- A Programming and Design Handbook (borrow @ archive.org)
The x86 PC (borrow @ archive.org)
IA-64 for Software Developers (borrow @ archive.org)
PC Assembly Book (online @ pacman128.github.io) 💭