Ini file manager is an Ada package for parsing configuration files in the .ini format and retrieving keys of various types. New values for single keys can be set. It is standalone and unconditionally portable code.
performance monitoring toolkit and API
Extensions providing additional features for Dolphin's right click menu in KDE.