librhonabwy1.1

JWK, JWKS, JWS, JWE and JWT library

Rhonabwy - JWK, JWKS, JWS, JWE and JWT library

python3-colcon-ros

collective construction meta build tool - ROS extension

This package is part of ROS 2, the Robot Operating System. colcon is a meta build tool to improve the workflow of building, testing and using multiple software packages. It is the recommended tool for ROS 2 to set up workspaces and build packages from source, but can also handle old ROS 1 workspaces.

libparted2t64

disk partition manipulator - shared library

GNU Parted is a program that allows you to create, destroy, resize, move, and copy disk partitions. This is useful for creating space for new operating systems, reorganizing disk usage, and copying data to new hard disks.

haskell-what4-utils

Solver-agnostic symbolic values support for issuing queries

What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.

libndpi4.2

extensible deep packet inspection library - shared library

nDPI is a ntop-maintained superset of the popular OpenDPI library. Released under the LGPL license, its goal is to extend the original library by adding new protocols that are otherwise available only on the paid version of OpenDPI.

gir1.2-uhm-1.0

HTTP web service mocking - GObject introspection files

uhttpmock is a HTTP web service mocking project for projects which use libsoup. It is still in its infancy, but is already used by libgdata for unit testing.