sphinx-argparse-cli is an extension for Sphinx to render documentation for command-line interface (CLI) arguments defined by the argparse module.

cvelib is a library and a command line interface to interact with the MITRE CVE Services API, including functions to reserve one or more CVE IDs for a CNA, filter and list reserved CVEs owned by a CNA, and administration of user and tokes for a CNA.

This is the GNU Modula-2 compiler for the sparc64-linux-gnu architecture, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.

0MQ messaging library support. Provide network socket endpoints for gnuradio data and message streams. PUB/SUB, PUSH/PULL, REP/REQ models supported.

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

GPU-accelerated Python framework for exploring algorithms for alchemical free energy calculations.