All software
PeakPerformance
PeakPerformance is a Python toolbox for estimating peak areas from mass-spectrometry or HPLC datasets under uncertainty. It applies Bayesian inference using the PyMC library to parametric models of peak curves.
- Data analysis
- Earth & Environment
- mass spectrometry
- + 4
- Python
- TeX
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
reledmac
A package for typesetting scholarly critical editions.
- Critical Edition
- Typesetting
- TeX
- Python
- Makefile
- + 2
SNIK Graph
- hospital information system
- information management
- linked data
- + 1
- TypeScript
- HTML
- TeX
- + 3
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