LLVM-based Mutation Testing System. Proof of concept
☆14Apr 14, 2016Updated 10 years ago
Alternatives and similar repositories for mutation-testing-poc
Users that are interested in mutation-testing-poc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A journey in mutation testing☆13Jul 26, 2016Updated 10 years ago
- Mutation testing for Rust☆13Jun 20, 2016Updated 10 years ago
- Unofficial OpenBSD regression tests☆21Mar 24, 2021Updated 5 years ago
- Twitch API library for Rust☆12Oct 28, 2020Updated 6 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Jul 25, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SQL Parser and Generator☆23Jan 21, 2014Updated 12 years ago
- fork of mutant with inline disable comments and a few different mutations.☆70Aug 23, 2020Updated 6 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- scriptreplay in the browser. Save your terminal window content and replay it on your website.☆21Apr 27, 2022Updated 4 years ago
- An MongoDB adapter for Axiom☆11Jun 2, 2013Updated 13 years ago
- Substance Document Storage Layer☆13Feb 4, 2014Updated 12 years ago
- A higher order mutation testing tool☆59Dec 18, 2020Updated 5 years ago
- A SQLServer Adapter for DataMapper☆11Jan 8, 2012Updated 14 years ago
- Byte Code Dotnet Mutation Utility☆21Dec 6, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 12 years ago
- to_source is a reverse parser: it transforms Rubinius' AST nodes back to source code.☆15Jan 27, 2013Updated 13 years ago
- Implement application boundary interfaces with a chain of responsibility☆33Sep 21, 2015Updated 11 years ago
- A library geared towards separating persistence concerns from data model classes☆53May 21, 2015Updated 11 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- A postgresql Adapter for DataMapper☆14Jun 8, 2015Updated 11 years ago
- Create minimum MCDC test sets for a boolean expression☆49Feb 15, 2021Updated 5 years ago
- Tool to help sniffing out licenses from all crate dependencies☆27Jun 14, 2023Updated 3 years ago
- Compile Time Turing Machine☆14Mar 27, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- PostgreSQL SQL syntax utilities☆16Aug 25, 2026Updated 2 months ago
- manipulate LLVM IR files☆33Jul 15, 2015Updated 11 years ago
- The Vim-teaching dungeon crawler☆13Sep 20, 2026Updated last month
- A simple and fast set of cryptographic tools.☆13Aug 10, 2017Updated 9 years ago
- PESTT: PESTT EDUCATIONAL SOFTWARE TESTING TOOL☆14Mar 12, 2014Updated 12 years ago
- Low-level IR mutations for LLVM Bitcode☆44Updated this week
- Parse and render URI templates.☆17Oct 2, 2026Updated 3 weeks ago
- A small collection of git tools☆14Sep 19, 2026Updated last month
- DEPRECATED / DEAD / MOVE ON☆33Jan 24, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A sqlite Adapter for DataMapper☆13Mar 26, 2013Updated 13 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆20May 5, 2025Updated last year
- Contains plugins, themes, and custom files for using zsh.☆12Dec 15, 2020Updated 5 years ago
- Software design principles: tensions & synergies dojo☆12Mar 12, 2026Updated 7 months ago
- TEA cipher in CBC mode written in DRAKON Editor + C as a fun exercise.☆15Jun 6, 2012Updated 14 years ago
- Practical mutation testing and fault injection for C and C++☆851Updated this week
- Inflector for ruby☆46Feb 26, 2018Updated 8 years ago