The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

jsoncpp is an implementation of a JSON reader and writer in C++. JSON (JavaScript Object Notation) is a lightweight data-interchange format that it is easy to parse and redable for human. It is useful for building config files, network communications protocols, etc.

Graph::Grammar is a Perl implementation of a graph rewriting method (a.k.a. graph grammar). Much of the API draws inspiration from Parse::Yapp, but instead of acting on text streams Graph::Grammar is oriented at graphs, as implemented in Perl's Graph module. Graph::Grammar implements a single method parse_graph() which accepts an instance of Graph and an array of rules. Every rule is evaluated for each vertex in a graph and, if a match is found, an action associated with the rule is executed.

Enables cloud-native SAR processing via Xarray and Dask.

This package contains the runtime library for the iniParser INI file reader/writer.

Spacebar is an SMS/MMS application that primarily targets Plasma Mobile. It depends on Qt and few KDE Frameworks (Kirigami2, KI18n, KPeople, and ModemManagerQt).