Open source, lean and powerful (but sadly, ugly) https://www.projeqtor.org/en/