Compile Time Turing Machine
☆16Mar 27, 2016Updated 9 years ago
Alternatives and similar repositories for CTTM
Users that are interested in CTTM are comparing it to the libraries listed below
Sorting:
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- A journey in mutation testing☆13Jul 26, 2016Updated 9 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- LLVM + Swift template Xcode project☆13Apr 20, 2017Updated 8 years ago
- A tool for simulating an arbitrary connection between two network endpoints☆19May 31, 2019Updated 6 years ago
- Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems☆19Sep 4, 2024Updated last year
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- Composite operations framework based on top of NSOperation/NSOperationQueue.☆21Feb 1, 2017Updated 9 years ago
- A C API to do most things done by the FreeBSD 'ifconfig' program today☆26Feb 17, 2018Updated 8 years ago
- Practical examples of software and testing patterns related to mutation testing☆23Dec 14, 2018Updated 7 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- [UNMAINTAINED] Provides automated test to detect runtime conflicts of constraints.☆26Apr 12, 2016Updated 9 years ago
- Efficient Mutation Testing for Java☆39Jun 20, 2022Updated 3 years ago
- A demo project showing the use of yacc and lex (bison, flex) in a Xcode project☆33Oct 10, 2016Updated 9 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- Desktop TM/TC Client for Yamcs☆31Sep 1, 2025Updated 6 months ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Header-only llvm::Expected<T>☆38Oct 14, 2019Updated 6 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆36Dec 2, 2025Updated 3 months ago
- Low-level IR mutations for LLVM Bitcode☆43Feb 2, 2026Updated last month
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 21, 2026Updated last week
- The last working version of "cint" C/C++ Interpreter, pulled from within "root-5.34.00-patches"☆12Jan 14, 2018Updated 8 years ago
- Swift wrapper around LLVM☆35Nov 24, 2016Updated 9 years ago
- An LLVM IR Editor plugin for Eclipse☆53Jan 22, 2014Updated 12 years ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- Get coverage data in CLion using gcov or llvm-cov☆39Aug 30, 2022Updated 3 years ago
- ☆11Sep 6, 2025Updated 5 months ago
- ☆11Jun 7, 2019Updated 6 years ago
- Event-focused narrative generation tool☆11Jun 14, 2018Updated 7 years ago
- ☆13Jun 10, 2021Updated 4 years ago
- A small cheat sheet of what one needs to remember about the coroutines☆11May 22, 2020Updated 5 years ago
- A Qt5 app that plots timestamped MQTT data – status: unfinished alpha software.☆10May 7, 2022Updated 3 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- List of english speaking telegram channels and groups☆10Dec 29, 2021Updated 4 years ago
- Mutation testing in ruby or "Keep calm and kill mutants"☆10Oct 18, 2016Updated 9 years ago