silentbicycle / theft
property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
☆610Updated 3 years ago
Related projects: ⓘ
- ☆600Updated this week
- Semantics of C in K☆305Updated 2 years ago
- A compiler frontend for the C programming language☆530Updated last week
- A KISS, cross-platform C mocking library☆152Updated last month
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆280Updated 3 years ago
- A collection of compiler, emulator and microkernel tools.☆244Updated 4 years ago
- Lisp macros for C☆884Updated 7 months ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆430Updated last year
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆213Updated last week
- C99 parser and frontend for libfirm☆336Updated 10 months ago
- Tup is a file-based build system.☆1,160Updated 3 weeks ago
- A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types. http://duneroadrunner.g…☆386Updated last month
- A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.☆1,476Updated last year
- C-Reduce, a C and C++ program reducer☆1,249Updated 3 months ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆186Updated 4 years ago
- The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture☆531Updated 2 years ago
- Extending C with cmacro☆328Updated 4 years ago
- Myrddin Compiler☆388Updated 2 years ago
- C Foreign Function Interface and JIT using Clang/LLVM☆547Updated 10 months ago
- graph based intermediate representation and backend for optimising compilers☆473Updated 2 months ago
- µnit is a small testing framework for C☆569Updated 5 months ago
- Yet Another Earley Parser☆135Updated 2 years ago
- Purely evil preprocessor macros adding anonymous functions and closures to ISO C99☆153Updated 9 years ago
- A modern, portable, cross-language unit testing and mocking framework for C and C++☆175Updated 5 months ago
- The TenDRA Project☆236Updated last month
- C JSON parser library that doesn't suck☆279Updated 4 months ago
- A parser generator for visibly pushdown languages.☆741Updated 10 months ago
- STOKE: A stochastic superoptimizer and program synthesizer☆735Updated last year
- QuickCheck-like property based automated testing tool for C++☆110Updated 7 years ago
- x86-64 assembler library☆465Updated 3 years ago