GaloisInc / cryptolLinks
Cryptol: The Language of Cryptography
☆1,158Updated this week
Alternatives and similar repositories for cryptol
Users that are interested in cryptol are comparing it to the libraries listed below
Sorting:
- The SAW scripting language.☆468Updated this week
- Liquid Types For Haskell☆1,244Updated this week
- CakeML: A Verified Implementation of ML☆1,047Updated this week
- Formal Reasoning About Programs☆685Updated 11 months ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆451Updated last week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆255Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆522Updated last week
- Verified Assembly Language for Everest☆291Updated last year
- Experimental implementation of Cubical Type Theory☆582Updated last year
- A port of Coq to Javascript -- Run Coq in your Browser☆525Updated 7 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆774Updated last week
- Verified Software Toolchain☆463Updated this week
- The HOL Light theorem prover☆457Updated this week
- A Haskell implementation of the Tor protocol.☆273Updated 7 years ago
- Crucible is a library for symbolic simulation of imperative programs☆719Updated last week
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆434Updated 2 years ago
- A demo implementation of a simple dependently-typed language☆594Updated 6 months ago
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,064Updated 6 years ago
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆984Updated 3 weeks ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆352Updated this week
- An introduction to programming language theory in Agda☆1,429Updated last week
- The Vellvm (Verified LLVM) coq development.☆430Updated this week
- Haskell Research Compiler☆820Updated 2 years ago
- Software Foundations in Idris☆454Updated 6 years ago
- The Ivory EDSL☆398Updated 5 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆661Updated 2 weeks ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,046Updated last month
- A Proof-oriented Programming Language☆2,848Updated this week
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last year