PyJASM is a Python library for assembling Java classfiles.
It performs a context-sensitive peephole optimisation phase before saving to disk in order that compiler writers utilising this library may generate reasonably sloppy code. Proofs of correctness for some of these transformations are available.
Licence
PyJASM is released under the BSD license.
Download / Development
You can browse the source tree or download the code from Git:
$ git clone git://git.chris-lamb.co.uk/pyjasm # or $ git clone http://git.chris-lamb.co.uk/repo/pyjasm.git