libnet-ssl-expiredate-perl

obtain expiration date of certificate

Net::SSL::ExpireDate gets certificate from network (SSL) or local file and obtains its expiration date.

postgresql-15-powa

PostgreSQL Workload Analyzer -- PostgreSQL 15 extension

PoWA is a PostgreSQL Workload Analyzer that gathers performance stats and provides real-time charts and graphs to help monitor and tune your PostgreSQL servers. This package contains the core extension of the PoWA project, the archivist.

libcoq-reglang

representation of regular languages in Coq

This package provides definitions and verified translations between different representations of regular languages for Coq: miscellaneous automata, regular expressions, WS1S logic. It also contains various decidability results and closure properties of regular languages.

pass-extension-update

pass extension providing an easy flow for updating passwords

Extends the pass utility with an update command providing an easy flow for updating passwords. It supports path, directory and wildcard update. Moreover, you can select how to update your passwords by automatically generating new passwords or manually setting your own.

libopentest4j-reporting-java

Open Test Reporting

Open Test Reporting contains the definition of and tooling for two new XML-based test reporting formats that are agnostic of any testing framework and programming language yet concrete enough to be consumable by a wide range of downstream tools such as IDEs, build tools, and report generators.

any2fasta-examples

convert various sequence formats to FASTA (example data)

Established tools like readseq and seqret from EMBOSS, both create mangled IDs containing | or . characters, and there is no way to fix this behaviour. This resultes in inconsitences between .gbk and .fna versions of files in pipelines.