libpsmt2-frontend-ocaml

Parse and type-check SMT-LIB 2 (runtime files)

A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

deblur

deconvolution for Illumina amplicon sequencing

Deblur is a greedy deconvolution algorithm for amplicon sequencing based on Illumina Miseq/Hiseq error profiles. The authors recommend using Deblur via the QIIME2 plugin q2-deblur. Examples of its use can be found within the plugin itself. However, Deblur itself does not depend on QIIME2.

libqgis-analysis3.22.14

QGIS - shared analysis library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

php-mock-phpunit

mock built-in PHP functions with PHPUnit

Provides a trait for PHPUnit test cases to integrate with PHP-Mock, a function mock library.

flam3-palette

Palette file for flam3 & qosmic

Fractal Flames are algorithmically generated images and animations. Example palette file for use with rendering fractal flames. Without a palette file, flames will be black and white only.

libccp4c0t64

CCP4 core functionality - C runtime

The CCP4 software suite is based around a library of routines which cover common tasks, such as file opening, parsing keyworded input, reading and writing of standard data formats, applying symmetry operations, etc. Programs in the suite call these routines which, as well as saving the programmer some effort, ensure that the varied programs in the suite have a similar look-and-feel.