Pinned Loading

1. mutate-csharp mutate-csharp Public

   A semantic-aware C# mutation testing tool.

   C# 1 1

2. dafny-bugs dafny-bugs Public

   A collection of bugs found in the Dafny compiler.

   Go

3. mutate-csharp-dafny mutate-csharp-dafny Public

   An application of mutation testing on compilers.

   Python

4. perses perses Public

   Forked from fuzz-d/perses

   Language-agnostic program reducer.

   Rust

5. fuzz-d fuzz-d Public

   Forked from fuzz-d/fuzz-d

   Random program generator to verify (fuzz) the Dafny compiler

   Kotlin