benterm is a pygtk vte wrapper. karate is firmware for a Teensy/Arduino/Teensyduino keyboard/mouse. karumi is vim in your browser. vkr is a virtual key ring secure password database.