dylanmc / CryptoBook
Learning Cryptography, math and programming with Cryptol (and maybe some Python)
☆94Updated 6 years ago
Alternatives and similar repositories for CryptoBook:
Users that are interested in CryptoBook are comparing it to the libraries listed below
- Links to stuff arising from or related to the HACS workshop.☆34Updated 7 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- A Haskell implementation of the Tor protocol.☆273Updated 7 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Cryptographic library for Haskell☆68Updated 2 months ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 5 years ago
- Standalone Ethereum Virtual Machine☆51Updated 3 years ago
- Authenticated encryption scheme prover/synthesizer☆15Updated 2 years ago
- notes on where to find Haskell tutorials and tips to complete them☆119Updated 6 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Easily create authenticated data structures☆43Updated 2 years ago
- A small SSH server written in Go that checks for weak SSH keys☆13Updated 9 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- The haskell network stack☆115Updated 7 years ago
- Some writings about a type system for nix☆19Updated 7 years ago
- A public database for software and firmware hashes☆214Updated 8 years ago
- scriptable strace☆123Updated 4 years ago
- Haskell implementation of Metasploit remote API☆20Updated 9 years ago
- A Flask-like µFramework for Gopher☆19Updated 10 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆81Updated 8 years ago
- Play Minesweeper by formally proving your moves in Idris☆166Updated 7 months ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- CLI string generator based on regex-like operations☆39Updated 5 years ago
- ☆88Updated 9 years ago
- Cheat Sheets for programming languages and tools☆112Updated last year
- A pager for grep☆104Updated 3 years ago
- IP-format-preserving encryption, with a dedicated 4-byte cipher☆104Updated 4 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago