Python script coding editor that debugs as you write
Java library for reading and writing NBT files
A MySQL database wrapper written in PHP
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification
Kammerjäger is a debugging tool with integrated correctness proving.