weaversa / cryptol-courseLinks
The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
☆25Updated last year
Alternatives and similar repositories for cryptol-course
Users that are interested in cryptol-course are comparing it to the libraries listed below
Sorting:
- Coq library for verified low-level programming☆61Updated 8 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated 2 weeks ago
- Cryptographic Protocol Shapes Analyzer☆37Updated 3 years ago
- RISC-V Specification in Coq☆116Updated 2 months ago
- A Verified Compiler for Gallina, Written in Gallina☆157Updated last month
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- Public snapshots of "ACSL by Example"☆119Updated 6 months ago
- Lem semantic definition language☆148Updated 8 months ago
- Convert Haskell source code to Coq source code.☆93Updated 5 months ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆53Updated 2 months ago
- The SAW scripting language.☆482Updated this week
- Real number computation software☆128Updated 3 years ago
- Symbolic formula representation and solver interaction library☆171Updated 2 weeks ago
- Galois RISC-V ISA Formal Tools☆61Updated 3 months ago
- Gallina to Bedrock2 compilation toolkit☆65Updated 2 weeks ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆57Updated 2 months ago
- The SAW core language.☆55Updated 4 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- A web page with resources for teaching with formal methods and tools.☆14Updated 2 years ago
- A curated set of links to formal methods involving provable code.☆216Updated 3 years ago
- Formal specification and verification of hardware, especially for security and privacy.☆127Updated 3 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated 2 months ago
- Specification of the Cedille Core language☆34Updated 5 years ago
- The People's Verification System☆162Updated last week
- A formal semantics of the RISC-V ISA in Haskell☆171Updated 2 years ago
- SPARK 2014 repository for the Why3 verification platform.☆34Updated this week
- Hoare Type Theory☆83Updated 5 months ago
- ☆89Updated 3 years ago
- A compiler for functional programs on serialized data☆173Updated this week
- SRI Sally: A model checker for infinite-state systems.☆75Updated 4 months ago