Alternatives and similar repositories for hammer:

Users that are interested in hammer 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.
  ☆433Updated 2 years ago
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆616Updated 4 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated 11 months ago
• yosefk / checkedthreads
  checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
  ☆292Updated 11 years ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆161Updated last year
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆310Updated 3 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆478Updated 4 years ago
• andrewrk / malcheck
  Test your code with malcheck to make sure it handles out of memory conditions correctly.
  ☆97Updated 9 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
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆112Updated 2 weeks ago
• cksystemsgroup / scalloc
  A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
  ☆161Updated 2 years ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆81Updated 8 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆71Updated 10 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆237Updated last year
• eudoxia0 / magma
  Extending C with cmacro
  ☆334Updated 4 years ago
• sustrik / dsock
  An obsolete project
  ☆83Updated 6 years ago
• appnexus / acf
  An-source C library developed and used at AppNexus.
  ☆108Updated 5 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆251Updated 5 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 9 years ago
• libfirm / cparser
  C99 parser and frontend for libfirm
  ☆345Updated last month
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆193Updated 8 months ago
• josephg / librope
  UTF-8 rope library for C
  ☆278Updated 3 years ago
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆140Updated 2 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆103Updated 5 months ago