libcoq-record-update
automatic record fields updaters for Coq
This package provides an automatic and generic way
to update record fields in Coq.
libsv1
Public domain cross-platform semantic versioning in c99
This is free and unencumbered software released into the public domain. This
package installs a C language library implementing semantic versioning for the
C language.
ikos
Static analyzer for C/C++
IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for
C/C++ based on the theory of Abstract Interpretation.
php7.4-msgpack
PHP extension for interfacing with MessagePack
This extension provide API for communicating with MessagePack serialization.
r-cran-skimr
GNU R compact and flexible summaries of data
A simple to use summary function that can be used with pipes
and displays nicely in the console. The default summary statistics may
be modified by the user as can the default formatting. Support for
data frames and vectors is included, and users can implement their own
skim methods for specific object types as described in a vignette.
Default summaries include support for inline spark graphs.
Instructions for managing these on specific operating systems are
given in the "Using skimr" vignette and the README.
php-mysqlnd-ms
MySQL replication and load balancing module for PHP
The mysqlnd_ms replication and load balancing plugin can be used with
PHP MySQL extensions (ext/mysql, ext/mysqli, ext/pdo_mysql) if they
are compiled to use mysqlnd. The plugin inspects queries and does
read-write splitting. Read-only queries are sent to MySQL replication
slave servers while all other queries are redirected to the MySQL
replication master server. Very few, if any, application changes are
required, depending on the usage scenario.