postgresql-15-pg-catcheck
Postgres system catalog checker
PostgreSQL stores the metadata for SQL objects such as tables and functions
using special tables called system catalog tables. pg_catcheck is a simple
tool for diagnosing system catalog corruption. If you suspect that your system
catalogs are corrupted, this tool may help you figure out exactly what
problems you have and how serious they are. If you are paranoid, you can run
it routinely to search for system catalog corruption that might otherwise go
undetected.
foomuuri-firewalld
multizone bidirectional nftables firewall - firewalld emulation
This package provides firewalld D-Bus emulation for Foomuuri, allowing
dynamically assigning interfaces to Foomuuri zones via NetworkManager,
replacing firewalld.
clang-format-15
Tool to format C/C++/Obj-C code
Clang-format is both a library and a stand-alone tool with the goal of
automatically reformatting C++ sources files according to configurable
style guides. To do so, clang-format uses Clang's Lexer to transform an
input file into a token stream and then changes all the whitespace around
those tokens. The goal is for clang-format to both serve both as a user
tool (ideally with powerful IDE integrations) and part of other
refactoring tools, e.g. to do a reformatting of all the lines changed
during a renaming.
libgnuradio-video-sdl3.10.10
gnuradio video functions
Library for handling SDL (Simple DirectMedia Layer) video data.
Implements input and output blocks.
Part of the main gnuradio build.
gap-hapcryst
GAP HAPcryst - A HAP extension for crystallographic groups
GAP is a system for computational discrete algebra, with particular emphasis
on Computational Group Theory. GAP provides a programming language, a library
of thousands of functions implementing algebraic algorithms written in the GAP
language as well as large data libraries of algebraic objects. GAP is used in
research and teaching for studying groups and their representations, rings,
vector spaces, algebras, combinatorial structures, and more.