Alternatives and similar repositories for theft:

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

• kframework / c-semantics
  Semantics of C in K
  ☆310Updated 3 years ago
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆288Updated 4 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
  ☆538Updated last month
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆250Updated 5 years ago
• silentbicycle / greatest
  A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.
  ☆1,485Updated last year
• gittup / tup
  Tup is a file-based build system.
  ☆1,196Updated 6 months ago
• Snaipe / Mimick
  A KISS, cross-platform C mocking library
  ☆159Updated 6 months ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,546Updated 8 months ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆221Updated 2 weeks ago
• skeeto / branchless-utf8
  Branchless UTF-8 decoder
  ☆609Updated 2 years ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆195Updated 4 years ago
• eudoxia0 / cmacro
  Lisp macros for C
  ☆890Updated last year
• yosefk / checkedthreads
  checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
  ☆292Updated 11 years ago
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆140Updated 2 years ago
• ndmitchell / shake
  Shake build system
  ☆775Updated 2 weeks ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆420Updated this week
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,600Updated 2 years ago
• oridb / mc
  Myrddin Compiler
  ☆391Updated 2 years ago
• nemequ / munit
  µnit is a small testing framework for C
  ☆607Updated 10 months ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated 11 months ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆193Updated 8 months ago
• skeeto / pdjson
  C JSON parser library that doesn't suck
  ☆287Updated 9 months ago
• duneroadrunner / SaferCPlusPlus
  A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types
  ☆402Updated this week
• eudoxia0 / magma
  Extending C with cmacro
  ☆334Updated 4 years ago
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆756Updated last month
• aguinet / dragonffi
  C Foreign Function Interface and JIT using Clang/LLVM
  ☆549Updated last week
• kragen / stoneknifeforth
  a tiny self-hosted Forth implementation
  ☆421Updated 4 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆112Updated 8 years ago