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.