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.


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.


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.


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.


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.


raphf module for PHP

A reusable split-off of pecl_http persistent handle and resource factory API.