fast linear algebra library for Java

bounded model checker for Java programs

count k-mers in DNA sequences

count k-mers in DNA sequences

count k-mers in DNA sequences (examples for testing)

graphical user interface to EMBOSS

Molecular Viewer

Java Simple Application Messaging Protocol tool for VO

JUBE Benchmarking Environment

Jupyter interactive notebook

Global and progressive multiple sequence alignment

near-optimal RNA-Seq quantification

near-optimal RNA-Seq quantification (example data)

periodic table and chemistry tools

data files for Kalzium

obtain information about K and O types for Klebsiella genome assemblies

reference data for kaptive for Klebsiella genome assemblies

example data for kaptive for Klebsiella genome assemblies

Evaluate and visualize protein interatomic packing

Keep it simple and clean bare metal SAT solver

Detection of various kinds of polymorphisms in RNA-seq data

tool to screen Klebsiella genome assemblies

tool to screen Klebsiella genome assemblies (example data)

automatic sorting of the samples (spikes) into clusters

mapping genomic sequences to raw reads directly against redundant databases

count kmers in genomic sequences

suite of tools for DNA sequence analysis

sample data for kmer suite of tools for DNA sequence analysis

correlates mapped genes with the predicted species of WGS samples

tableau-based description logic reasoner for the semantic web

assigning taxonomic labels to short DNA sequences

taxonomic classification system using exact k-mer matches

desktop planetarium, observation planning and telescope control

data files for KStars desktop planetarium

highly parametrizable pairwise global genome sequence aligner

Likelihood Analysis with Metropolis Algorithm using Random Coalescence

Merges overlapping "long" DNA reads into a consensus sequences

Local Aligner for Massive Biological DatA

Local Aligner for Massive Biological DatA - v2

genome-scale comparison of biological sequences

pairwise aligning DNA sequences

pairwise aligning DNA sequences (examples and test scripts)

converts from LTL formulas to Büchi automata

biological sequence library utilities and applications

determine features of organisms, clades, taxonomic units, genes

Numerical weather prediction and climate modelling library - utilities

Perl interface to the HTS library

Bioperl interface to the PAML suite

Bioperl interface to Clustal W

Bioperl interface to T-Coffee