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.

flang-15

Fortran compiler

Ground-up implementation of a Fortran front end written in modern C++.

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.