[Obsolete] Tamarin prover manual: source files
☆25Mar 4, 2026Updated this week
Alternatives and similar repositories for manual
Users that are interested in manual are comparing it to the libraries listed below
Sorting:
- Teaching materials related to the Tamarin Prover☆71Aug 6, 2024Updated last year
- A set of exercises for getting started with the Tamarin prover☆20Nov 2, 2023Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated 2 months ago
- Bose–Chaudhuri–Hocquenghem Codec☆13Feb 18, 2026Updated 2 weeks ago
- Main source code repository of the Tamarin prover for security protocol verification.☆506Feb 28, 2026Updated last week
- ↔️ tight ghci integration for vim☆17Oct 21, 2022Updated 3 years ago
- 6.858 final project.☆18Jan 14, 2016Updated 10 years ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 3 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆22Updated this week
- Website!☆22Sep 20, 2022Updated 3 years ago
- Formal Analysis of the PQXDH Protocol☆30Jun 6, 2024Updated last year
- ☆34Oct 7, 2025Updated 5 months ago
- This is a Tamarin model of TLS 1.3☆42Aug 19, 2023Updated 2 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Implementation of indistinguishability obfuscation constructions from scientific literature☆48Apr 28, 2015Updated 10 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features…☆12Feb 24, 2023Updated 3 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- miscellaneous gevent utilities☆21Apr 20, 2011Updated 14 years ago
- WebSocket library for Python (ws4py)☆13Apr 26, 2012Updated 13 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Generate recurring dates.☆17Jan 15, 2024Updated 2 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 2 months ago
- Exploring Chrome extensibility via native messaging and Rust.☆12Mar 10, 2020Updated 5 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Language snippets for use with `vim-cheat`☆10Jan 1, 2023Updated 3 years ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14May 9, 2025Updated 10 months ago
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 5 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Minimal Ethereum RPC Client in Rust☆11Nov 18, 2023Updated 2 years ago
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year