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.