abiggerhammer / hammer

Related projects ⓘ

Alternatives and complementary repositories for hammer

• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆431Updated last year
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆612Updated 3 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆175Updated 5 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆306Updated 2 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆244Updated 4 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆127Updated 4 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆57Updated 2 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
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated 8 months ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆81Updated 8 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• josephg / librope
  UTF-8 rope library for C
  ☆274Updated 3 years ago
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆137Updated 2 years ago
• sustrik / dsock
  An obsolete project
  ☆82Updated 6 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆159Updated 8 months ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆72Updated 9 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆157Updated last year
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆112Updated last week
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 9 years ago
• Snaipe / Mimick
  A KISS, cross-platform C mocking library
  ☆152Updated 3 months ago
• docopt / docopt.c
  C-code generator for docopt language.
  ☆320Updated 6 months ago
• cksystemsgroup / scalloc
  A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
  ☆157Updated last year
• StanfordPL / x64asm
  x86-64 assembler library
  ☆471Updated 3 years ago
• Drahflow / Elymas
  A programming language I can like. Unholy and full of magic.
  ☆195Updated 4 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
• yosefk / checkedthreads
  checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
  ☆290Updated 11 years ago
• bnoordhuis / ragel
  Ragel State Machine Compiler - http://www.complang.org/ragel/
  ☆155Updated 9 years ago