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.