Repository Index

PHP Mutation Testing library

• php
• mutation
• mutant
• test-framework

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi