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.
pg-statviz
PostgreSQL internal statistics analysis and visualization
pg_statviz is a minimalist extension and utility pair for time series analysis
and visualization of PostgreSQL internal statistics. Created for snapshotting
PostgreSQL's cumulative and dynamic statistics and performing time series
analysis on them. The accompanying utility can produce visualizations for
selected time ranges on the stored stats snapshots, enabling the user to track
PostgreSQL performance over time and potentially perform tuning or
troubleshooting.
php-code-lts-u2f-php-server
Server side handling class for FIDO U2F registration and authentication
This PHP library allows you to handle U2F registration and authentication.
FIDO's U2F enables you to add a simple unobtrusive method of 2nd factor
authentication, allowing users of your service and/or application
to link a hardware key to their account.