dylanmc / CryptoBookLinks
Learning Cryptography, math and programming with Cryptol (and maybe some Python)
☆95Updated 7 years ago
Alternatives and similar repositories for CryptoBook
Users that are interested in CryptoBook are comparing it to the libraries listed below
Sorting:
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- Tool for uploading unikernels into EC2☆76Updated 7 years ago
- Standalone Ethereum Virtual Machine☆52Updated 3 years ago
- A Haskell implementation of the Tor protocol.☆273Updated 7 years ago
- Verified iptables Firewall Ruleset Analysis☆98Updated last year
- Small minimal examples of modern cryptographic techniques in Haskell☆77Updated 5 years ago
- The haskell network stack☆116Updated 7 years ago
- Cryptographic library for Haskell☆69Updated 8 months ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆81Updated 8 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- CLI string generator based on regex-like operations☆41Updated 5 years ago
- Some writings about a type system for nix☆19Updated 7 years ago
- A fast, low-level HTTP server you can trust☆46Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 8 years ago
- notes on where to find Haskell tutorials and tips to complete them☆120Updated 6 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Slides for my talks at various meetups.☆22Updated last month
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- ☆23Updated 14 years ago
- scriptable strace☆123Updated 5 years ago
- High level library cheat sheets for the working Haskell programmer.☆81Updated 10 years ago
- Proof-of-concept Blockchain in Haskell☆89Updated 7 years ago
- Play Minesweeper by formally proving your moves in Idris☆167Updated last year
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 12 years ago