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
• kframework / c-semantics
  Semantics of C in K
  ☆321Updated 3 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
• Snaipe / Mimick
  A KISS, cross-platform C mocking library
  ☆163Updated 3 weeks ago
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆560Updated 2 months ago
• silentbicycle / greatest
  A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.
  ☆1,512Updated 2 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆258Updated 5 years ago
• eudoxia0 / cmacro
  Lisp macros for C
  ☆896Updated last year
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆278Updated last month
• eudoxia0 / magma
  Extending C with cmacro
  ☆343Updated 5 years ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆207Updated 5 years ago
• gittup / tup
  Tup is a file-based build system.
  ☆1,240Updated 5 months ago
• yosefk / checkedthreads
  checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
  ☆296Updated 12 years ago
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆111Updated 9 years ago
• oridb / mc
  Myrddin Compiler
  ☆404Updated 3 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆87Updated 6 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆488Updated last week
• josephg / librope
  UTF-8 rope library for C
  ☆295Updated 4 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated last year
• dmoulding / boilermake
  A reusable, but flexible, boilerplate Makefile.
  ☆195Updated 6 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆208Updated last year
• mortie / snow
  A testing library for C.
  ☆361Updated 2 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆184Updated 6 years ago
• cil-project / cil
  C Intermediate Language
  ☆391Updated 2 years ago
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆141Updated 3 years ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆117Updated 3 weeks ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆157Updated 10 years ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆162Updated last year
• nemequ / munit
  µnit is a small testing framework for C
  ☆683Updated last year
• docopt / docopt.c
  C-code generator for docopt language.
  ☆321Updated last year