jqp
TUI playground to experiment with jq (program)
A TUI tool that allows for experimentation with jq with fast iteration. This
application utilizes itchny's (https://github.com/itchyny) implementation of
jq written in Go, gojq (https://github.com/itchyny/gojq).
debian-codesearch-cli
client for Debian Code Search
Simple client for the Debian Code Search service.
Provides a Python library and a CLI tool named "codesearch"
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:
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.
libngtcp2-16
implementation of QUIC protocol (library)
ngtcp2 project is an effort to implement QUIC protocol which is
now being discussed in IETF QUICWG for its standardization.