stayrtr

RPKI to Router server

StayRTR is an implementation of the RPKI to Router protocol (RFC 6810): it can be used to publish Resource Public Key Infrastructure (RFC 6480) prefix origin data from a trusted cache to BGP routers.

libbemenu0

Dynamic menu inspired by dmenu (runtime library)

bemenu is a dynamic menu for tty (using ncurses), X11 and/or Wayland, inspired by dmenu. It reads a list of newline-separated items from standard input. When the user selects an item and presses Return, their choice is printed to standard output and bemenu terminates. Entering text will narrow the items to those matching the tokens in the input.

libaom3

AV1 Video Codec Library

AOMedia Video 1 (AV1) is an open and royalty free video encoding format optimized for the Internet and the successor of VP9. aom is the reference encoder and decoder implementation published by the Alliance for Open Media.

eprover

Equational theorem prover

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

libmeep27

library for using meep

Meep is a free and open-source software package for electromagnetics simulation via the finite-difference time-domain (FDTD) method.

libcotp2

C library that generates TOTP and HOTP

C library that generates TOTP and HOTP according to RFC-6238.