Ltl2buchi is a project mainly written in ..., it's free.

ltl2buchi takes an LTL formula and generates its equivalent Buchi automata.