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
• rems-project / netsem
  Network Semantics
  ☆87Updated 6 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 4 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 9 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• au-ts / cogent
  Cogent Project
  ☆162Updated last week
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 3 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 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.
  ☆128Updated 4 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆103Updated 2 weeks ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• project-everest / everest
  ☆194Updated this week
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 8 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆47Updated 6 years ago
• oblivia-simplex / roper
  Return Oriented Programme Evolution with ROPER
  ☆168Updated 5 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆102Updated last year
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• clarus / falso
  A proof of false in Coq.
  ☆96Updated 5 years ago
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆286Updated 4 years ago
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆307Updated last month
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆179Updated 8 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 9 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year