Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
☆27Jan 9, 2018Updated 8 years ago
Alternatives and similar repositories for rapidfuzz
Users that are interested in rapidfuzz are comparing it to the libraries listed below
Sorting:
- firrtlator is a FIRRTL C++ library☆23Dec 15, 2016Updated 9 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- Rust interface to the OS native signpost debug facilities☆10Dec 2, 2016Updated 9 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 6 years ago
- Property Based Testing in C++ using RapidCheck☆12Nov 8, 2017Updated 8 years ago
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 years ago
- Implementation of Spectral State Space Models☆16Feb 23, 2024Updated 2 years ago
- ARTful radix tree☆13Feb 10, 2017Updated 9 years ago
- Lightweight performance and debugging tools☆17Feb 21, 2020Updated 6 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago
- tinkerpop blueprints graphdb on top on lmdb☆20Jan 7, 2014Updated 12 years ago
- AVX512 population count routines☆23Aug 2, 2019Updated 6 years ago
- ☆21May 27, 2024Updated last year
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- ☆20Jan 8, 2023Updated 3 years ago
- Library for generating ABI-compliant LLVM IR☆64Dec 15, 2019Updated 6 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆24May 4, 2021Updated 4 years ago
- A lightweight profiler to detect and categorize root causes of synchronization related performance issues in multithreaded programs☆21Jun 5, 2017Updated 8 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- Fork of the Judy C library for dynamic array originally imported from the SF project https://sourceforge.net/projects/judy/ with patches …☆33Oct 28, 2020Updated 5 years ago
- ☆33Oct 9, 2017Updated 8 years ago
- HISTORICAL INTEREST ONLY: Post peer review AFIO v2 rewrite is now at https://github.com/ned14/boost.afio☆46Mar 20, 2016Updated 9 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- Generic Automatic Parallel Profiler☆35Oct 4, 2020Updated 5 years ago
- Classifier of pathogenic non-coding variants in Mendelian diseases☆10Feb 6, 2020Updated 6 years ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆229Apr 8, 2025Updated 10 months ago
- A translation validation framework for MLIR☆94Mar 19, 2025Updated 11 months ago
- Poireau: a sampling allocation debugger☆98Feb 3, 2022Updated 4 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Apr 3, 2019Updated 6 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆49Jun 3, 2021Updated 4 years ago
- Divine: Prioritizing Genes for Rare Mendelian Disease in Whole Exome Sequencing Data☆13Apr 18, 2019Updated 6 years ago
- Linux tree for ntrdma driver development.☆11Jun 29, 2017Updated 8 years ago
- CI system for premerge-testing in LLVM project☆43Jun 5, 2025Updated 8 months ago
- A library for Partially Homomorphic Encryption in Python☆12May 30, 2017Updated 8 years ago
- Pipeline in place at the UGI for DNA level analysis☆11Aug 29, 2016Updated 9 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago