Alternatives and similar repositories for theft

Users that are interested in theft are comparing it to the libraries listed below

• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆289Updated 5 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆442Updated 3 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆320Updated 3 years ago
• Snaipe / Mimick
  A KISS, cross-platform C mocking library
  ☆163Updated this week
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆559Updated last month
• gittup / tup
  Tup is a file-based build system.
  ☆1,239Updated 5 months ago
• silentbicycle / greatest
  A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.
  ☆1,512Updated 2 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆276Updated 2 weeks ago
• eudoxia0 / cmacro
  Lisp macros for C
  ☆896Updated last year
• eudoxia0 / magma
  Extending C with cmacro
  ☆343Updated 5 years ago
• oridb / mc
  Myrddin Compiler
  ☆401Updated 3 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆257Updated 5 years ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆206Updated 5 years ago
• josephg / librope
  UTF-8 rope library for C
  ☆294Updated 4 years ago
• nemequ / munit
  µnit is a small testing framework for C
  ☆679Updated last year
• zorgnax / libtap
  Write tests in C
  ☆258Updated 2 years ago
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆141Updated 3 years ago
• dmoulding / boilermake
  A reusable, but flexible, boilerplate Makefile.
  ☆195Updated 6 years ago
• yosefk / checkedthreads
  checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
  ☆295Updated 12 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated last year
• katef / kgt
  BNF wrangling and railroad diagrams
  ☆620Updated last week
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,599Updated 3 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆487Updated last week
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆184Updated 6 years ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆117Updated 4 months ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆157Updated 10 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆163Updated 2 years ago
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆111Updated 9 years ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,630Updated last year
• google / redgrep
  ♥ Janusz Brzozowski
  ☆162Updated last year