Alternatives and similar repositories for mutation-testing-poc

Users that are interested in mutation-testing-poc are comparing it to the libraries listed below

• tjchambers / mutant-musings
  A journey in mutation testing
  ☆13Updated 8 years ago
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆20Updated 10 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 9 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 3 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• softdevteam / libkalibera
  libkalibera
  ☆16Updated 3 years ago
• thehydroimpulse / jiter
  Jit + Rust + Memory
  ☆19Updated 10 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• drbrain / strace_me
  strace a block of ruby code
  ☆35Updated 15 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 years ago
• timbod7 / secretfs
  A FUSE file system that interpolates secret information
  ☆20Updated 8 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 4 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 8 years ago
• baguette / rs-babygc
  A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust
  ☆16Updated 9 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• PTSSpace / link-simulator
  A tool for simulating an arbitrary connection between two network endpoints
  ☆19Updated 6 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• MichaelRFairhurst / wake-compiler
  C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.
  ☆55Updated 9 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• silentbicycle / parade
  run multiple shell commands in parallel and coordinate their output
  ☆31Updated 12 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• gasche / popl2014-papers
  ☆74Updated 11 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 6 months ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆22Updated 2 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• smowton / llpe
  ☆53Updated last year
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• vellvm / ollvm
  An higher-level LLVM binding for OCaml
  ☆14Updated 8 years ago