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.
  ☆442Updated 3 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• rems-project / netsem
  Network Semantics
  ☆91Updated 6 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆128Updated 5 years ago
• CIFASIS / QuickFuzz
  An experimental grammar fuzzer in Haskell using QuickCheck
  ☆197Updated 5 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆106Updated last year
• GaloisInc / saw-script
  The SAW scripting language.
  ☆482Updated last week
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆325Updated 9 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• clarus / falso
  A proof of false in Coq.
  ☆101Updated 6 years ago
• oblivia-simplex / roper
  Return Oriented Programme Evolution with ROPER
  ☆171Updated 6 years ago
• ujamjar / hardcaml
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Updated 4 years ago
• silentbicycle / autoclave
  repeatedly run programs until they break, and be ready to attach a debugger
  ☆197Updated 7 years ago
• project-everest / everest
  ☆204Updated 2 months ago
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆289Updated 5 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• kerneis / cpc
  Continuation Passing C
  ☆115Updated 6 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 4 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆107Updated last week
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 5 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆67Updated 3 months ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 10 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 5 years ago
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆318Updated 2 months ago