All software
PHYLIP
PHYLIP is a free package of programs for inferring phylogenies. It is distributed as source code, documentation files, and a number of different types of executables.
- phylogeny
- Stemmatology
- C
- Java
- Shell
- + 5
PiGx
PiGx is a collection of genomics pipelines. All pipelines are easily configured with a simple sample sheet and a descriptive settings file. The result is a set of comprehensive, interactive HTML reports with interesting findings about your samples.
- HTML
- Python
- R
- + 7
py-cordex
py-cordex is a Python library for managing CORDEX grids, handling rotated/projection-based domains, and supporting CMORization of regional climate data. It enables compliant metadata, grid generation, and integration with xarray for climate workflows.
- CORDEX
- Earth & Environment
- python
- Python
- Makefile
python-icat
Python interface to ICAT and IDS
- metadata
- metadata catalogue
- python
- + 1
- Python
- XSLT
- Roff
- + 1
RAFCON
RAFCON uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. It ships with a graphical user interface supporting the creation of state machines and contains IDE like debugging mechanisms.
- Aeronautics, Space and Transport
- collaboration
- robotics
- + 2
- Python
- SCSS
- Shell
- + 1
reledmac
A package for typesetting scholarly critical editions.
- Critical Edition
- Typesetting
- TeX
- Python
- Makefile
- + 2
S2Downloader
The S2Downloader allows to download Sentinel-2 L2A data from the cost-free element84 AWS Amazon server. It specifically serves the purpose to download data for user-defined area of interests (AOI). It offers several parameters for filtering the data, can stack the results, mosaic and crop to AOI.
- open source
- python
- Remote sensing
- + 1
- Python
- Makefile
- Shell
supervillain
supervillain does Markov-Chain Monte Carlo for modified Villain constructions of quantum field theory.
- computational physics
- Monte Carlo simulation
- Physics
- + 2
- Python
- TeX
- Batchfile
- + 1
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 11
TextLab
TextLab enables users to transcribe revisions in manuscript of a work, collate variant print versions, narrate the sequence of revision, display diplomatic and base versions, and generate a corrected, emended, and annotated reading text version as a critical edition of the work.
- Critical Edition
- digital publishing
- HTML
- JavaScript
- CSS
- + 8
TiXI
TiXI is a fast and simple XML interface library and could be used from applications written in C, C++, Fortran, JAVA and Python.
- xml
- C++
- C
- Python
- + 6
TREAMS
TREAMS is an open-source program to perform T-matrix-based scattering calculations for nanophotonic systems. It focuses on efficiently solving the interaction in 1D, 2D, and 3D lattices of complex unit cells using quickly convergent lattice sums. It also solves the interaction in finite clusters.
- Python
- Cython
- Makefile