A graphical user interface for Praxis, client-side. It is based on Java Swing.