Sleigh Manual: This document describes SLEIGH, Ghidra's processor specification language. A SLEIGH specification formally describes the translation from the bit encoding of machine instructions, for a particular processor, to human-readable assembly language and into p-code, Ghidra's internal representation (IR) of code.

P-code Reference: This reference document describes the core elements of p-code and gives a brief overview of each formal p-code operator.

Versioning: A short note on the use of SLEIGH version numbers.