libgnutls-dane0t64
GNU TLS library - DANE security support
GnuTLS is a portable library which implements the Transport Layer
Security (TLS 1.0, 1.1, 1.2, 1.3) and Datagram
Transport Layer Security (DTLS 1.0, 1.2) protocols.
drat-trim-examples
DART-trim satisfiability proof checker (example files)
DRAT-trim is a satisfiability proof checking and trimming utility
designed to validate proofs for all known satisfiability solving
and preprocessing techniques. DRAT-trim can also emit trimmed
formulas, optimized proofs, and TraceCheck+ dependency graphs.
distribution-gpg-keys
Archive keyrings for RPM-based Linux distributions
collection of GPG keys to check signatures of rpm packages from following
distributions:
fennel
Lisp-based programming language for the Lua runtime
Fennel is a lisp that compiles to Lua. It aims to be easy to use,
expressive, and has almost zero overhead compared to handwritten Lua.
elpa-crdt
collaborative editing environment for Emacs
crdt.el can be used to share buffers between different emacs
instances (perhaps on different hosts). You can share multiple
buffers in one session, see other users’ cursor and region, and
synchronize Org mode folding status.
libpcl-surface1.15
Point Cloud Library - surface library
The Point Cloud Library (PCL) is a standalone, large scale, open
project for 2D/3D image and point cloud processing.