siedentop / rapidfuzz
Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
☆27Updated 7 years ago
Alternatives and similar repositories for rapidfuzz:
Users that are interested in rapidfuzz are comparing it to the libraries listed below
- LLVM-jitted bitmaps☆27Updated 4 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- Propositional Encodings in C++11☆18Updated 6 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆36Updated 6 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆102Updated 4 months ago
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- ☆49Updated 11 months ago
- Demonstration of LLVM's opt-viewer tool☆70Updated 7 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- Compact tries for fixed-width keys☆25Updated 6 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- CLang Plugin for calculating AST hashes☆15Updated 5 years ago
- SIMDized check which bytes are in a set☆28Updated 6 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- ALLVM Tools☆56Updated 2 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- Simple out-of-process invoker☆18Updated 7 months ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Sequence data structure with efficient random access insert and erase☆13Updated last year
- Backtrace.io's resilient log record framing format☆37Updated 2 years ago
- SQL query interface to C++ collections and C data structures. Also configurable as a loadable Linux kernel module and an extension to Val…☆14Updated 6 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Efficient and customisable compression of short strings☆49Updated 8 years ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 5 years ago
- Software transactional memory system developed at Wyatt Technology☆28Updated 5 years ago
- Shuffle-based predicate matcher and all-round branch free swiss army chainsaw☆17Updated 6 years ago
- Library containing high-performance datastructures and utilities for C++☆73Updated 7 years ago