GitHub repository: JoyOfHardware/PPC_Formal
Primary language: Haskell
Description: A humble attempt at a formal model of the PowerPC ISA.