LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
..., 2012.
LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http://adl.github.io/hoaf/
In order to compile LTL3BA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed.