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.
  ☆326Updated 8 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 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 years ago
• rootkovska / codehash.db
  A public database for software and firmware hashes
  ☆215Updated 8 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 8 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆434Updated 2 years ago
• softminus / hellcat
  netcat that takes unfair advantage of traffic shaping systems that don't initially ratelimit
  ☆2Updated 4 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• letoram / senseye
  Dynamic Visual Debugging / Reverse Engineering Toolsuite
  ☆253Updated 6 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
• eatonphil / owebl
  OCaml, Meet Web.
  ☆157Updated 9 years ago
• pcbje / gransk
  Document processing for investigations
  ☆251Updated 8 years ago
• grazzolini / chkboot
  chkboot is a tool to help detect changes to an unencrypted /boot partition.
  ☆147Updated 4 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• farjump / fwtr
  Open Database of Firmware Test Results
  ☆150Updated 9 years ago
• haka-security / haka
  Haka runtime
  ☆450Updated 7 years ago
• alehander92 / Airtight
  a python-like language with hindley-milner-like type system, which is compiled to c
  ☆246Updated 3 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• lfit / ssh-gpg-smartcard-config
  Configuration to use gpg smartcards for ssh authentication
  ☆158Updated 7 years ago
• zdenop / lector
  Automatically exported from code.google.com/p/lector
  ☆131Updated 6 years ago
• StanfordPL / stoke-release
  ☆330Updated 9 years ago
• PolyPasswordHasher / PolyPasswordHasher
  A Password hash storage scheme that prevents an attacker from cracking passwords individually and efficiently.
  ☆323Updated 7 years ago
• compiler-dept / speck
  A small unit testing framework for C
  ☆123Updated 7 years ago
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆310Updated 2 months ago
• bouk / extractdata
  Live at http://extractdata.club
  ☆166Updated 8 years ago
• mattbostock / sshkeycheck
  A small SSH server written in Go that checks for weak SSH keys
  ☆13Updated 9 years ago
• inguma / bokken
  Dear user: This is a git mirror of our Mercurial repository in https://bokken.inguma.eu that you can use if you prefer to use pull reque…
  ☆120Updated 8 years ago
• hannesm / jackline
  minimalistic secure XMPP client in OCaml
  ☆252Updated 8 months ago
• jakeogh / angryfiles
  generate a tree of diverse file names
  ☆47Updated last year
• kerkomen / rei
  Process lists easily
  ☆144Updated 8 years ago