New Jersey Machine Code Toolkit

A resource in ML for helping programmers write assembly-related applications that process machine code: assemblers, disassemblers, code generators, tracers, profilers, and debuggers. It accomplishes this by taking compact specifications input and turning them into programs that can encode and decode symbolic versions of the instruction set.

See also DERIVE.