GaloisInc / cryptolLinks
Cryptol: The Language of Cryptography
☆1,198Updated this week
Alternatives and similar repositories for cryptol
Users that are interested in cryptol are comparing it to the libraries listed below
Sorting:
- The Software Analysis Workbench☆488Updated this week
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Formal Reasoning About Programs☆721Updated 2 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆382Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆493Updated last week
- Main source code repository of the Tamarin prover for security protocol verification.☆505Updated last week
- CakeML: A Verified Implementation of ML☆1,113Updated this week
- Verified Software Toolchain☆487Updated 3 weeks ago
- Verified Assembly Language for Everest☆304Updated last year
- papers of Per Martin Löf☆812Updated 2 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆265Updated this week
- Language for high-assurance and high-speed cryptography☆328Updated this week
- ☆205Updated 3 months ago
- Liquid Types For Haskell☆1,288Updated this week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆683Updated 2 months ago
- Cryptographic Primitive Code Generation by Fiat☆805Updated this week
- An axiom-free formalization of category theory in Coq for personal study and practical work☆792Updated last month
- Experimental implementation of Cubical Type Theory☆597Updated 2 years ago
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆1,001Updated 3 weeks ago
- The CompCert formally-verified C compiler☆2,106Updated last week
- A Proof-oriented Programming Language☆2,966Updated this week
- Crucible is a library for symbolic simulation of imperative programs☆755Updated this week
- A curated set of links to formal methods involving provable code.☆218Updated 4 years ago
- The HOL Light theorem prover☆503Updated last week
- A Haskell implementation of the Tor protocol.☆274Updated 8 years ago
- A gently curated list of companies using verification formal methods in industry☆590Updated last week
- Verified implementation of TLS 1.3 in F*☆179Updated last year
- A port of Coq to Javascript -- Run Coq in your Browser☆537Updated 3 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆538Updated 8 months ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆462Updated 7 years ago