gnome-kiosk

mutter based compositor for kiosks

GNOME Kiosk provides a desktop environment suitable for fixed purpose, or single application deployments like wall displays and point-of-sale systems.

libcoq-record-update

automatic record fields updaters for Coq

This package provides an automatic and generic way to update record fields in Coq.

libcoq-hammer-tactics

automated reasoning tool for Coq (tactics)

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

llvm-15-tools

Modular compiler and toolchain technologies, tools

LLVM is a collection of libraries and tools that make it easy to build compilers, optimizers, just-in-time code generators, and many other compiler-related programs.

python3-clang-15

Clang Python Bindings

Clang project is a C, C++, Objective C and Objective C++ front-end based on the LLVM compiler. Its goal is to offer a replacement to the GNU Compiler Collection (GCC).

python3-lldb-15

Next generation, high-performance debugger, python3 lib

LLDB is a next generation, high-performance debugger. It is built as a set of reusable components which highly leverage existing libraries in the larger LLVM Project, such as the Clang expression parser and LLVM disassembler.