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
• google / redgrep
  ♥ Janusz Brzozowski
  ☆164Updated last year
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• yosefk / checkedthreads
  checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
  ☆293Updated 11 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆127Updated 4 years ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆115Updated last month
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆82Updated 8 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• appnexus / acf
  An-source C library developed and used at AppNexus.
  ☆109Updated 5 years ago
• sustrik / dsock
  An obsolete project
  ☆83Updated 6 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
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆233Updated last year
• xiw / libo
  Integer arithmetic with overflow detection
  ☆71Updated 10 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆482Updated 4 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago
• docopt / docopt.c
  C-code generator for docopt language.
  ☆320Updated last year
• josephg / librope
  UTF-8 rope library for C
  ☆280Updated 3 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
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆139Updated 3 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆253Updated 5 years ago
• marssaxman / startc
  minimal freestanding C library for bare-metal i386 development
  ☆275Updated 9 years ago
• StanfordPL / stoke-release
  ☆330Updated 9 years ago
• ipankajg / ceed
  A tiny x86 compiler with ELF and PE target
  ☆182Updated last year
• eudoxia0 / magma
  Extending C with cmacro
  ☆341Updated 4 years ago
• shawnanastasio / seq.asm
  Minimal implementation of UNIX seq command in x86_64 assembly.
  ☆40Updated 8 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆159Updated last year
• libfirm / cparser
  C99 parser and frontend for libfirm
  ☆347Updated 4 months ago
• agl / critbit
  Critbit trees in C
  ☆335Updated 3 years ago