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.