README.md

x86

(Up) | Wikipedia: X86 | See also: 6502

Web resources

code challenge - Emulate an Intel 8086 CPU ★

Can one isolate processes on a 8086? ★

Repositories

zwegner/x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs ★★★

ia32-doc/ia32-doc: IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible ★

(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) ★

80286 Assembly Language on MS-DOS Computers (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) 💭