libcoq-hammer
automated reasoning tool for Coq
Hammer is a tool to help in the search of a proof
in Coq. It tries to find applicable lemmas and
combine them into a effective proof.
r-cran-filelock
portable file locking for GNU R
Place an exclusive or shared lock on a file. It uses 'LockFile'
on Windows and 'fcntl' locks on Unix-like systems.
libgatk-bwamem-jni
interface to call Heng Li's bwa mem aligner from Java code (jni)
BWA (Burrows-Wheeler Aligner) is a software package for mapping low-divergent
sequences against a large reference genome, such as the human genome. It is
written in C.
php7.4-smbclient
PHP wrapper for libsmbclient
smbclient is a PHP extension that uses Samba's libsmbclient library
to provide Samba related functions and 'smb' streams to PHP programs.
libloc-database
Database for IP geolocation query library
libloc is a lightweight library to query the IPFire Location database and
determine the location of someone else on the Internet based on their IP
address.
php7.4-raphf
raphf module for PHP
A reusable split-off of pecl_http persistent handle and
resource factory API.