gsad

remote network security auditor - web interface

The Greenbone Security Assistant HTTP Server connects to the Greebone Vulnerability Manager "gvmd" to provide a full-featured user interface for vulnerability management.

libcxxtools10

library of unrelated but useful C++ classes

cxxtools contains an argument-parser, a base-64 encoder/decoder, a C++ interface to iconv, md5-stream for easy MD5 calculation, threading classes, socket classes, a dynamic exception-safe buffer, a wrapper for dlopen/dlsym, a pool template (e.g., for a connection pool in a multi-threaded application), query_params, and a class for easy parsing of CGI parameters (GET and POST) in a CGI program.

libpsmt2-frontend-ocaml

Parse and type-check SMT-LIB 2 (runtime files)

A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

llvm-17-linker-tools

Modular compiler and toolchain technologies - Plugins

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.

linux-support-5.17.0-2

Support files for Linux 5.17

This package provides support files for the Linux kernel build, e.g. scripts to handle ABI information and for generation of build system meta data.

nvme-stas

NVMe Storage Appliance Services (STAS)

NVMe over Fabrics (NVMe-oF) is the concept of using a transport protocol over a network to connect remote NVMe devices. nvme-stas contains services to be used to access NVMe over TCP: