A collection of utilities for the K Development Environment: * archiver * online manual reader * calculator * editors * post-it notes * hex file editor * ...