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.