silentbicycle / theft
property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
☆612Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for theft
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆284Updated 4 years ago
- Semantics of C in K☆306Updated 2 years ago
- A compiler frontend for the C programming language☆538Updated 3 weeks ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆431Updated last year
- Tup is a file-based build system.☆1,176Updated 3 months ago
- A KISS, cross-platform C mocking library☆152Updated 3 months ago
- A collection of compiler, emulator and microkernel tools.☆244Updated 4 years ago
- A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.☆1,485Updated last year
- Lisp macros for C☆885Updated 9 months ago
- Branchless UTF-8 decoder☆591Updated 2 years ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆176Updated last week
- C-code generator for docopt language.☆320Updated 6 months ago
- Myrddin Compiler☆390Updated 2 years ago
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆218Updated this week
- C JSON parser library that doesn't suck☆281Updated 6 months ago
- A research programming language on top of C macros☆7Updated this week
- A parser generator for visibly pushdown languages.☆746Updated last year
- C Foreign Function Interface and JIT using Clang/LLVM☆549Updated last year
- Extending C with cmacro☆328Updated 4 years ago
- C99 parser and frontend for libfirm☆341Updated last year
- The TenDRA Project☆238Updated 3 months ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,600Updated 2 years ago
- C-Reduce, a C and C++ program reducer☆1,307Updated 5 months ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆188Updated 4 years ago
- es: a shell with higher-order functions☆314Updated this week
- Full-blown preprocessor metaprogramming☆874Updated this week
- µnit is a small testing framework for C☆585Updated 7 months ago
- The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture☆532Updated 2 years ago
- Yet Another Earley Parser☆137Updated 2 years ago