Alternatives and similar repositories for CryptoBook

Users that are interested in CryptoBook are comparing it to the libraries listed below

• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆273Updated 7 years ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆52Updated 3 years ago
• rudymatela / concise-cheat-sheets
  Cheat Sheets for programming languages and tools
  ☆112Updated last year
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 6 years ago
• CIFASIS / QuickFuzz
  An experimental grammar fuzzer in Haskell using QuickCheck
  ☆199Updated 5 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 8 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆68Updated 5 months ago
• diekmann / Iptables_Semantics
  Verified iptables Firewall Ruleset Analysis
  ☆98Updated last year
• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆39Updated 5 years ago
• GaloisInc / HaNS
  The haskell network stack
  ☆115Updated 7 years ago
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆78Updated 5 years ago
• anchor / haskell-cheat-sheets
  High level library cheat sheets for the working Haskell programmer.
  ☆81Updated 10 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 3 years ago
• MichaelBurge / haskoin
  Proof-of-concept Blockchain in Haskell
  ☆90Updated 7 years ago
• aviaviavi / confetti
  Small CLI tool for configuration file management and swapping
  ☆33Updated 5 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• thufschmitt / tix-papers
  Some writings about a type system for nix
  ☆19Updated 7 years ago
• trailofbits / indurative
  Easily create authenticated data structures
  ☆43Updated 2 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 6 months ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• nh2 / hatrace
  scriptable strace
  ☆123Updated 4 years ago
• booksbyus / mkbook
  Hintjens' book production tools
  ☆46Updated 8 years ago
• lojikil / chasha
  A Flask-like µFramework for Gopher
  ☆20Updated this week
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• katychuang / getting-started-with-haskell
  notes on where to find Haskell tutorials and tips to complete them
  ☆119Updated 6 years ago
• quchen / amoeba
  Amœba is a distributed network.
  ☆18Updated 11 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago