XML Catalog Management Tool as used by Protégé.

Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.

Provides functionalities for creating and transforming ULIDs (Universally Unique Lexicographically Sortable Identifiers). Utilises a Cython-based implementation for optimal performance, with a fallback to pure Python if Cython is unavailable.

This package implements the main user interface of Magit — the collapsible sections that make up its buffers. This package used to be distributed as part of Magit but now it can also be used by other packages that have nothing to do with Magit or Git.

This package provides the MBSTRING module(s) for PHP.

rg.el allows you to interactively create searches, doing automatic searches based on the editing context, refining and modifying search results and much more. It is also highly configurable to be able to fit different users' needs.