A cross-assembler for the 6502 series of microprocessors.
Updated 2019-04-13 03:47:01 +00:00
A 6502-oriented low-level programming language supporting advanced static analysis
6502-assembly
abstract-interpretation
effect-system
experimental-language
flow-typing
low-level-programming
static-analysis
symbolic-execution
Updated 2023-03-09 09:58:21 +00:00