Showing entries 1-10 out of 10.
Fast and effective C++ file optimizer
Graphical task manager, based on the todo.txt format
Linux user-space application to modify the Intel Extensible Firmware Interface (EFI) Boot Manager
Tools for manipulating UEFI secure boot platforms
Tools and library to manipulate EFI variables
Speech server for screen readers
General purpose Language Server
Erlang code formatter
/efont/ Unicode bitmap font
Functional programming language based on algebraic effects and their handlers