Alternatives and similar repositories for caradoc

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

• rootkovska / codehash.db
  A public database for software and firmware hashes
  ☆214Updated 9 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆325Updated 9 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆442Updated 3 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 5 months ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆158Updated 5 years ago
• silentbicycle / autoclave
  repeatedly run programs until they break, and be ready to attach a debugger
  ☆197Updated 7 years ago
• tweksteen / burst
  HTTP framework
  ☆48Updated 8 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 9 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆82Updated 8 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 5 years ago
• thestinger / playpen
  A secure application sandbox built with modern Linux sandboxing features - no longer actively developed, but still works fine, use bubble…
  ☆292Updated 10 years ago
• mattbostock / sshkeycheck
  A small SSH server written in Go that checks for weak SSH keys
  ☆13Updated 9 years ago
• Spark-Innovations / SC4
  SC4 - Strong Crypto for Mere Mortals
  ☆122Updated 4 years ago
• fxfactorial / an-ocaml-adoption-manifesto
  Getting Widespread OCaml Adoption
  ☆84Updated 7 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 8 years ago
• letoram / senseye
  Dynamic Visual Debugging / Reverse Engineering Toolsuite
  ☆251Updated 6 years ago
• eatonphil / owebl
  OCaml, Meet Web.
  ☆157Updated 10 years ago
• Muterra / py_hypergolix
  Programmable Dropbox for secure IoT
  ☆70Updated 8 years ago
• PolyPasswordHasher / PolyPasswordHasher
  A Password hash storage scheme that prevents an attacker from cracking passwords individually and efficiently.
  ☆321Updated 8 years ago
• farjump / fwtr
  Open Database of Firmware Test Results
  ☆151Updated 9 years ago
• WithSecureOpenSource / see
  Sandboxed Execution Environment
  ☆816Updated 5 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• riolet / SAM
  System Architecture Mapper
  ☆173Updated 8 years ago
• ainfosec / crema
  Crema: A Sub-Turing Programming Language
  ☆66Updated 10 years ago
• rootkovska / state_harmful
  The "State considered harmful" paper
  ☆109Updated 9 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• calaylin / bda
  Programmer De-anonymization from Binary Executables
  ☆88Updated 7 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 9 years ago
• kerkomen / rei
  Process lists easily
  ☆144Updated 9 years ago