quickchick

randomized testing framework for Coq (tools)

QuickChick provides a framework for randomized testing of program properties ; it's a clone of Haskell's QuickCheck.

architecture-properties

Declarative architecture constraints

This is a meta package that provide declarative architecture constraints like "architecture-is-64-bit" or "architecture-is-little-endian" for cases where architecture wildcard support in the Architecture field is insufficient.

libwireshark17

network packet dissection library -- shared library

The libwireshark library provides the network packet dissection services developed by the Wireshark project.

libgm2-18-x32-cross

GNU Modula-2 standard library (runtime library)

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

glab

commandline interface for gitlab instances

GLab is an open source GitLab CLI tool bringing GitLab to your terminal next to where you are already working with git and your code without switching between windows and browser tabs. Work with issues, merge requests, watch running pipelines directly from your CLI among other features.

libchemistry-ring-perl

Represent a ring as a substructure of a molecule

Chemistry::Ring provides some basic methods for representing a ring. A ring is a subclass of molecule, because it has atoms and bonds. Besides that, it has some useful geometric methods for finding the centroid and the ring plane, and methods for aromaticity detection.