All software
1Filter
Mentions
Keywords
93
Program languages
49
Licenses
11
12
25-27 of 27
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
5
0
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
2
0
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
0
0