Specifications of cryptographic algorithms in Cryptol
☆51Aug 6, 2026Updated last week
Alternatives and similar repositories for cryptol-specs
Users that are interested in cryptol-specs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Sep 30, 2015Updated 10 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆71Mar 26, 2026Updated 4 months ago
- The BESSPIN Voting System. This system is used to demonstrate and red team SSITH secure CPUs.☆12May 26, 2021Updated 5 years ago
- ☆17Aug 26, 2025Updated 11 months ago
- Fiat-Shamir for the masses.☆100Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Intermediate Representation (IR) for cryptographic computations☆22Updated this week
- Litani metabuild system☆20Jun 12, 2023Updated 3 years ago
- ☆21Jul 24, 2026Updated 3 weeks ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆15Jun 18, 2019Updated 7 years ago
- Code and resources for model learning of network protocol implementations☆18Oct 26, 2023Updated 2 years ago
- A foundational framework for modular cryptographic proofs in Coq☆89Jul 23, 2026Updated 3 weeks ago
- Examples for EasyCrypt Lectures☆29Jan 28, 2026Updated 6 months ago
- Rust crypto library for zero-knowledge proofs☆23Jun 22, 2026Updated last month
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16May 20, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- High Assurance Cryptographic Software☆10Jun 1, 2026Updated 2 months ago
- Cryptol: The Language of Cryptography☆1,217Updated this week
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- Post-quantum Wireguard (Theory)☆13Sep 9, 2020Updated 5 years ago
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Computable Polynomials in Lean.☆47Updated this week
- ☆14May 3, 2019Updated 7 years ago
- Materials and slides for talks I've given in the past☆14Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated 6 months ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- Signed code reviews for Python packages.☆27Dec 8, 2022Updated 3 years ago
- A generic worker for TaskCluster, written in go☆21Feb 7, 2020Updated 6 years ago
- The formally verified crypto library for Rust☆252Updated this week
- This repository shows how to setup Centralized CloudWatch Observability Manager using Terraform☆18Nov 28, 2024Updated last year
- ☆77Updated this week
- PS3 Firmware PKG tool☆14Jan 2, 2011Updated 15 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆40May 23, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Primitive-level lattice-based cryptography☆17Updated this week
- ☆18Jul 26, 2020Updated 6 years ago
- ☆17Feb 3, 2024Updated 2 years ago
- The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.☆28Jul 31, 2026Updated 2 weeks ago
- Proof assistant for qRHL☆25May 24, 2026Updated 2 months ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 6 months ago
- The Software Analysis Workbench☆517Updated this week