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.