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
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆233Updated last year
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆618Updated 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
• 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
  ☆311Updated 3 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 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
• 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
• sustrik / dsock
  An obsolete project
  ☆83Updated 6 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆81Updated 8 years ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆112Updated 3 weeks ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆163Updated last year
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆237Updated last year
• vnmakarov / mum-hash
  Hashing functions and PRNGs based on them
  ☆161Updated 2 months ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 9 years ago
• eudoxia0 / magma
  Extending C with cmacro
  ☆335Updated 4 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆128Updated 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 6 months ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆251Updated 5 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆155Updated 2 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆71Updated 10 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆479Updated 4 years ago
• cksystemsgroup / scalloc
  A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
  ☆162Updated 2 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• refi64 / rejit
  A work-in-progress JIT-powered regex engine
  ☆110Updated 7 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆140Updated 3 years ago