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
• rootkovska / codehash.db
  A public database for software and firmware hashes
  ☆214Updated 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 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 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
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 years ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆135Updated 9 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 7 years ago
• farjump / fwtr
  Open Database of Firmware Test Results
  ☆150Updated 8 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆267Updated 5 months ago
• haka-security / haka
  Haka runtime
  ☆450Updated 7 years ago
• Muterra / py_hypergolix
  Programmable Dropbox for secure IoT
  ☆70Updated 7 years ago
• thestinger / playpen
  A secure application sandbox built with modern Linux sandboxing features - no longer actively developed, but still works fine, use bubble…
  ☆291Updated 9 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
• ciscocsirt / malspider
  Malspider is a web spidering framework that detects characteristics of web compromises.
  ☆415Updated 2 years ago
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆307Updated last month
• truerss / truerss
  convenient web rss-reader
  ☆51Updated last year
• alehander92 / Airtight
  a python-like language with hindley-milner-like type system, which is compiled to c
  ☆243Updated 3 years ago
• benjamingr / PizzaHack
  ☆115Updated 9 years ago
• letoram / senseye
  Dynamic Visual Debugging / Reverse Engineering Toolsuite
  ☆252Updated 5 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• eatonphil / owebl
  OCaml, Meet Web.
  ☆157Updated 9 years ago
• Drup / tyre
  Typed Regular Expressions
  ☆171Updated 5 years ago
• edmund-huber / sssgen
  simple static site generator
  ☆35Updated 2 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• pcbje / gransk
  Document processing for investigations
  ☆250Updated 8 years ago
• fxfactorial / an-ocaml-adoption-manifesto
  Getting Widespread OCaml Adoption
  ☆85Updated 7 years ago
• fcambus / logswan
  Fast Web log analyzer using probabilistic data structures
  ☆387Updated last week