The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
☆27Nov 15, 2024Updated 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:
- A Codespace repo for ECON 235 & LB 235☆27Jan 30, 2025Updated last year
- deepracer-for-codespaces is a starter repository from AI Castle School that lets you train AWS DeepRacer models right inside GitHub Codes…☆23Apr 26, 2025Updated 10 months ago
- ZX Spectrum programming website.☆13Oct 6, 2025Updated 5 months ago
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆18Jun 21, 2023Updated 2 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Jan 29, 2026Updated last month
- var config = { name: 'KTN Bot', userid: function () { return toId(this.name); }, group: '@', join: true, …☆13Sep 29, 2015Updated 10 years ago
- Run a desktop enviornment in GitHub codespaces☆10Jan 7, 2025Updated last year
- ☆17Jun 10, 2025Updated 8 months ago
- Bitcoin Hush☆12Apr 29, 2020Updated 5 years ago
- ☆10Nov 3, 2024Updated last year
- GitHub codespacesで体験するFIWARE学習コンテンツ☆10Sep 25, 2024Updated last year
- Cryptographic Protocol Shapes Analyzer☆37Oct 4, 2022Updated 3 years ago
- streamlit_dash_gen☆16Jun 14, 2025Updated 8 months ago
- 逃离叙事：加密思潮十日谈☆11Updated this week
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- ShiftLeft Scan is a free and open-source commercial-grade security tool for modern DevOps teams.☆13Dec 30, 2022Updated 3 years ago
- All the different ways in which you can use Dyte's Angular UI Kit and other packages to its full extent to get the best live audio/video …☆10Oct 30, 2025Updated 4 months ago
- Arduino User Interface for XFM2 based on Teensy 4.0☆11May 25, 2020Updated 5 years ago
- A currency conversion MCP server☆30Jun 23, 2025Updated 8 months ago
- keywish arduino nano kit lesson project☆14May 7, 2020Updated 5 years ago
- Mobile Church of Robotron☆22Nov 22, 2023Updated 2 years ago
- ☆12Feb 27, 2026Updated last week
- reddit bitcoin tipping bot☆64Apr 21, 2013Updated 12 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Extension to BitcoinCore.Swift that makes it usable with Bitcoin network.☆12Jul 2, 2024Updated last year
- The world's easiest TRNG to get right☆13Sep 10, 2018Updated 7 years ago
- ☆13Dec 12, 2024Updated last year
- Mixing shell and lisp on the Lisp repl for easier everyday life☆11Aug 20, 2018Updated 7 years ago
- Public sync with private repo azure-aks-docs-pr☆11Updated this week
- Assume AWS Roles in Dev Containers / Codespaces☆11Aug 26, 2025Updated 6 months ago
- A CLI for browsing 4chan text posts.☆10Nov 4, 2015Updated 10 years ago
- ☆10Oct 7, 2017Updated 8 years ago
- A really cool Discord bot that can play music, say jokes, post memes and do math calculations!☆11May 30, 2021Updated 4 years ago
- Fyyx Wallet Finder is a Python app that searches for cryptocurrency wallets with balances in BTC and ETH. It logs results/errors and save…☆12Jun 11, 2024Updated last year
- VLANs on SR Linux are powerful. But different. But powerful. Learn how to use in this interactive tutorial☆10Feb 3, 2025Updated last year
- My neovim configuration☆11Feb 10, 2026Updated 3 weeks ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Coursera Cryptography Course Scripts☆16Mar 13, 2013Updated 12 years ago
- A minimalist typing train☆10Sep 6, 2024Updated last year