libpam-glome

Generic Low Overhead Message Exchange PAM module

Generic Low Overhead Message Exchange (GLOME) is a protocol providing secure authentication and authorization for low dependency environments.

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

libknet1t64

kronosnet core switching implementation

Kronosnet, often referred to as knet, is a network abstraction layer designed for High Availability use cases, where redundancy, security, fault tolerance and fast fail-over are the core requirements of your application.

libgnuradio-zeromq3.10.4

gnuradio zeromq functions

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

libgnuradio-vocoder3.10.4

gnuradio vocoder functions

Library of vocoder blocks, including ulaw, alaw, gsm and codec2. Debian uses external libraries for gsm and codec2.

libpromod3-modelling3.3

protein homology modelling engine

ProMod3 is a modelling engine based on the OpenStructure computational structural biology framework that can perform all steps required to generate a protein model by homology. Its modular design aims at implementing flexible modelling pipelines and fast prototyping of novel algorithms.