A highly customizable theme for vim and neovim with support for lsp
HiPS tool features to design and analyze hierarchical Petri nets
A graphical Finite State Machine (FSM) designer.
Editor for SISO standard compliant federation agreements
Simulator of access controls
Topology optimisation designed for laser based additive manufacturing