Alternatives and similar repositories for HammerPrimer:

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

• 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
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• rems-project / netsem
  Network Semantics
  ☆88Updated 6 years ago
• oblivia-simplex / roper
  Return Oriented Programme Evolution with ROPER
  ☆169Updated 6 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆181Updated 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
• jbangert / nail
  A practical interface generator for data formats.
  ☆127Updated 4 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆466Updated last week
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆104Updated last month
• aoh / blab
  a grammar-based data generator
  ☆60Updated 6 years ago
• project-everest / everest
  ☆197Updated last week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 7 months ago
• CIFASIS / QuickFuzz
  An experimental grammar fuzzer in Haskell using QuickCheck
  ☆201Updated 5 years ago
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 8 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 5 years ago
• REMath / implementations
  Implementations of program analysis tools with a focus on machine code
  ☆209Updated 10 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated last month
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆308Updated 3 weeks ago
• au-ts / cogent
  Cogent Project
  ☆164Updated last month
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆47Updated 7 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 9 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆65Updated 3 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆273Updated 7 years ago
• ainfosec / crema
  Crema: A Sub-Turing Programming Language
  ☆66Updated 9 years ago