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
  ☆215Updated 8 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆433Updated 2 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆80Updated 7 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆135Updated 8 years ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• jakeogh / angryfiles
  generate a tree of diverse file names
  ☆47Updated 8 months ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 8 years ago
• softminus / hellcat
  netcat that takes unfair advantage of traffic shaping systems that don't initially ratelimit
  ☆2Updated 4 years ago
• fxfactorial / an-ocaml-adoption-manifesto
  Getting Widespread OCaml Adoption
  ☆85Updated 7 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 years ago
• pcbje / gransk
  Document processing for investigations
  ☆250Updated 8 years ago
• zdenop / lector
  Automatically exported from code.google.com/p/lector
  ☆129Updated 6 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• hannesm / jackline
  minimalistic secure XMPP client in OCaml
  ☆251Updated 4 months ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• TLINDEN / pcp
  Pretty Curved Privacy
  ☆122Updated 7 years ago
• lfit / ssh-gpg-smartcard-config
  Configuration to use gpg smartcards for ssh authentication
  ☆158Updated 7 years ago
• lkdjiin / electr
  Interactive language for electronic formulas
  ☆90Updated 9 years ago
• geon / shebang-abuse
  ☆143Updated 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
• mozilla / masche
  Deprecated - MIG Memory Forensic library
  ☆386Updated 3 years ago
• larsyencken / marelle
  Test-driven system administration with a little extra logic.
  ☆388Updated 6 years ago
• ainfosec / crema
  Crema: A Sub-Turing Programming Language
  ☆65Updated 9 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 4 months ago
• ANSSI-FR / mabo
  MRT Parser
  ☆46Updated 5 years ago
• fcambus / logswan
  Fast Web log analyzer using probabilistic data structures
  ☆387Updated last year
• lukasmartinelli / pipecat
  Connect UNIX pipes and message queues
  ☆438Updated 6 years ago
• bouk / extractdata
  Live at http://extractdata.club
  ☆167Updated 7 years ago