Ctrl K
All software
1Filter
Mentions
Keywords
93
Program languages
47
Licenses
11
12
25-26 of 26
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
- + 9
0
0