Proof Logic : A logical framework for theorem proving
Utility to show live progress, status & stats for running simulations
Visualize genetic code structure from fasta file.
A Parallel Tool to Find DNA Tandem Repeats on Multicore Clusters
Multi-core Method for Analysis Pipelines
Tools for ICD (International Classification of Diseases) data
A python module for hyperspectral image processing
tumor epigenetic database
Application Integration for HPC Multiphysics
Cellular Automata library for SUPercomputers (CASUP)
A control software for GRBL-powered milling machines
specific protein interaction networks from transcript expression
A free Fortran 2008, 2018 coarrays course with notes and exercises
Text-to-Speech TTS for Basque, Spanish, Catalan, Galician and English
Allows the user to automatically create non-sensitive, sanitized CSVs
A program that uses CUDA to accelerate the Lucas Lehmer test.
Lightweight Qt-based Python console with variable explorer and history
differential analysis of combinatorial protein complexes
C++ BigInt class enables to work with arbitrary precision integers
MapReduce-based tool to remove duplicate DNA reads