Hacker News new | ask | show | jobs
by jonititan 1333 days ago
TikzEdt does but it hasn't been updated in ages.

tikzedt.org/