gui frontend to gdb
Static code analysis of refpolicy style SELinux policies
SELinux core policy utilities (modules utilities)
SQL client built in Vala and Gtk
Service orchestration and management tool
library for computing Fast Fourier Transforms
Testing engine for the Lua language version 5.1
dependency manager for the Crystal language
shell library for automated tests with TAP output
lint tool for shell scripts
CPython bindings generator for C++ libraries
automated server bootstrapping
test tool for shell scripts with TAP outputs
portable shell tool from the GNU project
unit test framework for Bourne based shell scripts
utility to manipulate Singularity Image Format (SIF) files
Command line tool for signing Android ZIP/JAR/APK
Android signing tool for signing Trusty images
Python bindings generator for C/C++ libraries — command line tools
Seedless Infrared Safe Cone jet finder - example files
Tooling to work with remote images registries
syntax highlighting tool
JavaScript minifier/parser in Python
programs for counting physical source lines of code (SLOC)
TLS reverse-proxy with SNI multiplexing (TLS virtual hosts)
Compiler for SLUDGE adventure games
Slurm basic plugins development files
Slurm Elasticsearch job-completion plugin development files
Slurm HDF5 plugin development files
Slurm InfluxDB plugin development files
Slurm IPMI plugins development files
Slurm JWT authentication plugin development files
Slurm Kafka job-completion plugin development files
Slurm MySQL plugins development files
Slurm RSMI plugin development files
single-pass C compiler for 16- and 32-bit x86/MIPS platforms
Standard ML compiler with practical extensions
Daemon and tooling that enable snap packages
Soong build system (command-line tools)
convert source code to syntax highlighted document
semantic parser of source files
formal software verification tool
tool for statically checking C programs for bugs
tool for statically checking C programs for bugs - data files
APK split and selection tool
Richly-featured Python IDE
SQL schema migration tool for Go (program)
fake SSH server