Alternatives and similar repositories for caradoc

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

• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆325Updated 9 years ago
• rootkovska / codehash.db
  A public database for software and firmware hashes
  ☆215Updated 9 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• foretspaisibles / bsdowl
  A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.
  ☆105Updated 6 months ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆82Updated 8 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 5 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 9 years ago
• tweksteen / burst
  HTTP framework
  ☆48Updated 8 years ago
• silentbicycle / autoclave
  repeatedly run programs until they break, and be ready to attach a debugger
  ☆197Updated 7 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 5 years ago
• r0nk / ward
  state machine visual debugger
  ☆121Updated 10 years ago
• mattbostock / sshkeycheck
  A small SSH server written in Go that checks for weak SSH keys
  ☆13Updated 9 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 8 years ago
• CryptoExperts / million-dollar-curve
  ☆89Updated 9 years ago
• farjump / fwtr
  Open Database of Firmware Test Results
  ☆151Updated 9 years ago
• fxfactorial / an-ocaml-adoption-manifesto
  Getting Widespread OCaml Adoption
  ☆84Updated 7 years ago
• TLINDEN / pcp
  Pretty Curved Privacy
  ☆122Updated last month
• letoram / senseye
  Dynamic Visual Debugging / Reverse Engineering Toolsuite
  ☆251Updated 6 years ago
• mirleft / btc-pinata
  If you smash it, you get to keep the pieces.
  ☆29Updated 6 years ago
• fxfactorial / brozip
  CLI to concurrently compress, decompress using Brotli algorithm
  ☆39Updated 6 years ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• grazzolini / chkboot
  chkboot is a tool to help detect changes to an unencrypted /boot partition.
  ☆151Updated 4 years ago
• kgaughan / memoize.py
  Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html
  ☆117Updated 3 years ago
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 9 years ago
• bouk / extractdata
  Live at http://extractdata.club
  ☆167Updated 8 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• rootkovska / x86_harmful
  The "Intel x86 considered harmful" paper
  ☆200Updated 10 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆274Updated 8 years ago
• benjamingr / PizzaHack
  ☆115Updated 10 years ago
• rsc-dev / pbd
  Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).
  ☆86Updated 4 years ago