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:
- Standalone Ethereum Virtual Machine☆52Updated 4 years ago
- IPython-style interaction for Cryptol☆15Updated 9 years ago
- Some writings about a type system for nix☆19Updated 8 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 7 years ago
- Tool for uploading unikernels into EC2☆77Updated 7 years ago
- A Haskell implementation of the Tor protocol.☆274Updated 8 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆77Updated 6 years ago
- Tool to determine relevant parts of binary data☆44Updated 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
- Links to stuff arising from or related to the HACS workshop.☆34Updated 7 years ago
- Cryptographic library for Haskell☆69Updated 11 months ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆82Updated 8 years ago
- convert simple cryptol expressions into finite-state machines☆22Updated 8 years ago
- Verified iptables Firewall Ruleset Analysis☆99Updated last year
- A tool for privacy-preserving identity management (PPIM)☆56Updated 9 years ago
- Cheat Sheets for programming languages and tools☆115Updated 2 months ago
- Amœba is a distributed network.☆18Updated 11 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A fast, low-level HTTP server you can trust☆46Updated 7 years ago
- Easily create authenticated data structures☆43Updated 2 years ago
- notes on where to find Haskell tutorials and tips to complete them☆120Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Proof-of-concept Blockchain in Haskell☆89Updated 8 years ago
- Hackage security framework based on TUF (The Update Framework)☆63Updated last month
- Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.☆15Updated 10 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- A Haskell library implementing the Noise protocol.☆104Updated last year
- Shamir secret sharing in Haskell.☆15Updated 8 years ago
- n queens with the logic monad☆20Updated 11 years ago