Alternatives and similar repositories for CryptoBook:

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

• lojikil / chasha
  A Flask-like µFramework for Gopher
  ☆19Updated 10 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆51Updated 3 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆273Updated 7 years ago
• thufschmitt / tix-papers
  Some writings about a type system for nix
  ☆19Updated 7 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆67Updated last month
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• haskell / hackage-security
  Hackage security framework based on TUF (The Update Framework)
  ☆56Updated 3 weeks ago
• GaloisInc / HaNS
  The haskell network stack
  ☆115Updated 7 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆79Updated 5 years ago
• veorq / ipcrypt
  IP-format-preserving encryption, with a dedicated 4-byte cipher
  ☆102Updated 3 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• rootkovska / state_harmful
  The "State considered harmful" paper
  ☆105Updated 9 years ago
• benlaurie / hacl
  Experimental High Assurance Cryptographic Library
  ☆20Updated 8 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 2 years ago
• ouspg / trytls
  Does ​your​ library check TLS certificates properly?
  ☆78Updated last year
• diekmann / Iptables_Semantics
  Verified iptables Firewall Ruleset Analysis
  ☆96Updated 7 months ago
• nukemberg / debug-this-motherfucker
  A collection of mind fucking trolling hacks
  ☆75Updated 8 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• stepcut / hyperdrive
  A fast, low-level HTTP server you can trust
  ☆47Updated 6 years ago
• MichaelXavier / vigilance
  An extensible dead-man's switch system
  ☆25Updated 8 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 6 years ago
• haskell-github-trust / crypto-api
  Haskell generic interface (type classes) for cryptographic algorithms
  ☆28Updated 7 years ago
• fmthoma / vgrep
  A pager for grep
  ☆104Updated 3 years ago
• UnderhandedCrypto / entries
  A browsable archive of all Underhanded Crypto Contest entries.
  ☆34Updated 5 years ago
• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆38Updated 4 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 7 years ago
• dakami / jfe
  Jump to Full Encryption
  ☆62Updated 8 years ago