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.
  ☆288Updated 4 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆309Updated 2 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆433Updated 2 years ago
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆537Updated 2 weeks ago
• silentbicycle / greatest
  A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.
  ☆1,483Updated last year
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆220Updated this week
• Snaipe / Mimick
  A KISS, cross-platform C mocking library
  ☆157Updated 5 months ago
• eudoxia0 / cmacro
  Lisp macros for C
  ☆889Updated 11 months ago
• gittup / tup
  Tup is a file-based build system.
  ☆1,183Updated 4 months ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆250Updated 4 years ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆194Updated 4 years ago
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆138Updated 2 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated 10 months ago
• eudoxia0 / magma
  Extending C with cmacro
  ☆333Updated 4 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆416Updated this week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,531Updated 7 months ago
• skeeto / pdjson
  C JSON parser library that doesn't suck
  ☆285Updated 7 months ago
• yosefk / checkedthreads
  checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
  ☆290Updated 11 years ago
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,599Updated 2 years ago
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆112Updated 8 years ago
• hirrolot / datatype99
  Algebraic data types for C99
  ☆1,388Updated last month
• tendra / tendra
  The TenDRA Project
  ☆239Updated 5 months ago
• josephg / librope
  UTF-8 rope library for C
  ☆276Updated 3 years ago
• emil-e / rapidcheck
  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
  ☆1,017Updated 5 months ago
• libfirm / cparser
  C99 parser and frontend for libfirm
  ☆344Updated last week
• arximboldi / ewig
  The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture
  ☆535Updated 2 years ago
• GaloisInc / ivory
  The Ivory EDSL
  ☆396Updated 4 years ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆159Updated 10 months ago