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.
  ☆434Updated 2 years ago
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆621Updated 4 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆233Updated last year
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆164Updated last year
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago
• yosefk / checkedthreads
  checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
  ☆292Updated 11 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆314Updated 3 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
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆140Updated 3 years ago
• cksystemsgroup / scalloc
  A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
  ☆162Updated 2 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆71Updated 10 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
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆112Updated 2 weeks ago
• Oberon00 / synth
  Semantic syntax highlighting and hyperlinking of C/C++ source code with libclang. (Demo: https://oberon00.github.io/synth)
  ☆159Updated 8 years ago
• josephg / librope
  UTF-8 rope library for C
  ☆278Updated 3 years ago
• eliben / wcx64
  Clone of wc in x64 assembly
  ☆94Updated 11 months ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆480Updated 4 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 7 months ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆251Updated 5 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆82Updated 8 years ago
• sustrik / dsock
  An obsolete project
  ☆83Updated 6 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆158Updated last year
• docopt / docopt.c
  C-code generator for docopt language.
  ☆322Updated 11 months ago
• bnoordhuis / ragel
  Ragel State Machine Compiler - http://www.complang.org/ragel/
  ☆157Updated 9 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 10 years ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• jeffreykegler / libmarpa
  Marpa parse engine C library -- STABLE
  ☆98Updated last year