The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
☆31Jul 31, 2026Updated 3 months ago
Alternatives and similar repositories for cryptol-course
Users that are interested in cryptol-course are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- A Cryptol major mode for Emacs.☆14May 31, 2019Updated 7 years ago
- Rust port of the Tamarin Prover☆15Updated this week
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Oct 26, 2026Updated last week
- An efficient minimal perfect hash function generator for small sets☆12Dec 12, 2020Updated 5 years ago
- 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.
- My lecture notes for modern mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algeb…☆11Jun 29, 2026Updated 4 months ago
- BLST-Verification☆23Apr 22, 2026Updated 6 months ago
- An implementation of Brakerski et al's "Fully homomorphic encryption without bootstrapping"☆11Apr 29, 2013Updated 13 years ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Sep 30, 2015Updated 11 years ago
- ☆56Updated this week
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆19Jun 21, 2023Updated 3 years ago
- A tutorial for learning the seL4 Microkit☆13Updated this week
- A project aiming to revive and create patches for abandoned Forge versions☆10Feb 20, 2023Updated 3 years ago
- SAT Live! web site☆11Jul 19, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 14 years ago
- L.B. Stanza Programming Language☆27Jan 29, 2025Updated last year
- My progress through Google's 2020 CTF as a part of the CyberJanitorialSecurityServices team!☆21Sep 4, 2020Updated 6 years ago
- Rust NES emulator☆19May 28, 2018Updated 8 years ago
- ☆22Updated this week
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- Takes a screenshot every time you die ingame☆10Feb 5, 2023Updated 3 years ago
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- NixOS fleet management framework☆23Sep 29, 2026Updated last month
- ☆10Jun 13, 2019Updated 7 years ago
- A domain specific language for requirements engineering. Besides the DSL, the REL framework contains Python integration, and a Visual Stu…☆11Apr 24, 2022Updated 4 years ago
- A port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- ☆10Feb 13, 2016Updated 10 years ago
- ☆13Oct 30, 2020Updated 6 years ago
- The Code Peer Review Application for The Crypto Project☆22Feb 21, 2013Updated 13 years ago
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- Gobo Eiffel is an open-source collection of compilers, tools and libraries for the Eiffel programming language.☆65Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- NAMED-READTABLES support for SLY☆10Oct 13, 2019Updated 7 years ago
- Spectrum's 2023 Competition Software☆11Sep 1, 2023Updated 3 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Do ZERO até PROFISSIONAL do desenvolvimento WEB. Aprende as principais tecnologias para desenvolvimento de páginas e aplicações WEB☆14Nov 29, 2023Updated 2 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- Helm for SLY☆15Feb 5, 2021Updated 5 years ago
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of c…☆15Oct 21, 2026Updated 2 weeks ago