boxmenu is a Python module for reading, writing, and editing menus in HackedBox, BlackBox, and related window managers.
C++ threading for embedded applications.
A Linux kernel fork with new features.