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
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:
- A Codespace repo for ECON 235 & LB 235☆27Jan 30, 2025Updated last year
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 6 years ago
- 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
- ZX Spectrum emulation & coding: https://zxplay.org https://code.zxplay.org☆18Updated this week
- Takes a screenshot every time you die ingame☆10Feb 5, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A size-limited, offline-friendly JS cache☆12Jun 27, 2026Updated last month
- The Gobo Eiffel Project provides the Eiffel community with free and portable Eiffel tools and libraries.☆64Jul 7, 2026Updated last month
- Ainari contains an experimental artificial neural network, which can work on unnormalized input-data in a cloud native environment.☆15Updated this week
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 13 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- A Duployan Unicode font☆17Aug 1, 2026Updated 2 weeks ago
- K&CG SATLLAZERO Open Source Project. Ariel University. 2023.☆14Jan 17, 2024Updated 2 years ago
- A port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- A simple open-source turn-base RPG!☆17Feb 21, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Apr 26, 2024Updated 2 years ago
- 항해99 스파르타코딩 리액트 Repository☆10Feb 18, 2023Updated 3 years ago
- CopJS is a feature-rich and flexible web application boilerplate built on Next.js 13.3, designed to streamline your development process. …☆10Jun 22, 2023Updated 3 years ago
- ☆19Apr 1, 2023Updated 3 years ago
- Homelab k8s cluster☆12Nov 3, 2024Updated last year
- Mixing shell and lisp on the Lisp repl for easier everyday life☆11Aug 20, 2018Updated 7 years ago
- Formal verification tools for Chisel and RISC-V☆15Mar 29, 2026Updated 4 months ago
- Fungal Validation and Identification Pipeline☆14Jul 13, 2026Updated last month
- Wait until TCP services are running.☆20Jul 13, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Specifications of cryptographic algorithms in Cryptol☆51Aug 6, 2026Updated last week
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated last year
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆12Jul 28, 2026Updated 3 weeks ago
- ACCESSIBLE ELECTRONIC VOTING SYSTEM☆16Jun 22, 2019Updated 7 years ago
- Amazon F1-inspired Xilinx VCU118 hardware design framework☆14Jan 4, 2021Updated 5 years ago
- Run a desktop enviornment in GitHub codespaces☆11Jan 7, 2025Updated last year
- gallina frontend for CompCert☆19Jul 6, 2019Updated 7 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- ☆13Mar 22, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code generator and library for calling/serving Twirp services in Rust using prost and hyper☆22Apr 1, 2023Updated 3 years ago
- Multi-algorithm password hashing for Rust — typed Policy, PHC/MCF storage, auto-rehash on drift across Argon2id/bcrypt/scrypt/PBKDF2, KMS…☆20Updated this week
- A collection of new demos for Atari Jaguar☆21Mar 19, 2026Updated 5 months ago
- A project used for a meetup talk about getting started with rust & wasm☆15Apr 18, 2020Updated 6 years ago
- Cloud & DevOps & Infra & Security☆12Feb 21, 2023Updated 3 years ago
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- ☆12Updated this week