dylanmc / CryptoBook
Learning Cryptography, math and programming with Cryptol (and maybe some Python)
☆93Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for CryptoBook
- Standalone Ethereum Virtual Machine☆51Updated 2 years ago
- Cryptographic library for Haskell☆68Updated last month
- CLI string generator based on regex-like operations☆38Updated 4 years ago
- IP-format-preserving encryption, with a dedicated 4-byte cipher☆101Updated 3 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆79Updated 7 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 4 years ago
- Easily create authenticated data structures☆43Updated last year
- Links to stuff arising from or related to the HACS workshop.☆35Updated 6 years ago
- Some code to bruteforce OpenBSD softraid encrypted drives - NOT A READY-TO-USE TOOL☆57Updated 8 years ago
- An experimental grammar fuzzer in Haskell using QuickCheck☆199Updated 4 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Compute excellent numbers☆9Updated 6 months ago
- Amœba is a distributed network.☆18Updated 10 years ago
- A fast, low-level HTTP server you can trust☆47Updated 6 years ago
- A Haskell implementation of the Tor protocol.☆272Updated 7 years ago
- Authenticated encryption scheme prover/synthesizer☆15Updated 2 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- The "State considered harmful" paper☆104Updated 8 years ago
- Allows to execute haskell code in Ida Pro.☆27Updated 8 years ago
- Cheat Sheets for programming languages and tools☆113Updated last year
- Various articles I've written☆115Updated last year
- Return Oriented Programme Evolution with ROPER☆169Updated 5 years ago