# Certora/gambit

<https://repo.masters-masters.com/en/repos/Certora/gambit>

[Home](https://repo.masters-masters.com/en) › [Certora](https://repo.masters-masters.com/en/owners/Certora) › [gambit](https://repo.masters-masters.com/en/repos/Certora/gambit)

Certora/gambit has 215 stars on GitHub. Its RepoMasters card: Prototype tier. Using mutations to improve specs and test suites Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [Certora](https://repo.masters-masters.com/en/owners/Certora) |
| Stars | 215 |
| Forks | 13 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2022 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Certora/gambit](https://github.com/Certora/gambit) |

## Repository

Using mutations to improve specs and test suites

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by Certora

- [Certora/CertoraProver · ★ 341 · Kotlin · Alpha](https://repo.masters-masters.com/en/repos/Certora/CertoraProver)
- [Certora/Tutorials · ★ 248 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/Certora/Tutorials)
- [Certora/Examples · ★ 211 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/Certora/Examples)

## Nearby in Rust

- [GaaraZhu/gate · ★ 215 · Rust · Prototype](https://repo.masters-masters.com/en/repos/GaaraZhu/gate)
- [Jorge262007/FFTARecomp · ★ 215 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Jorge262007/FFTARecomp)
- [openmathmodel/open-math-harness · ★ 215 · Rust · Prototype](https://repo.masters-masters.com/en/repos/openmathmodel/open-math-harness)
- [briansmith/untrusted · ★ 215 · Rust · Prototype](https://repo.masters-masters.com/en/repos/briansmith/untrusted)
- [bytesnake/telebot · ★ 215 · Rust · Prototype](https://repo.masters-masters.com/en/repos/bytesnake/telebot)
- [rust-nvml/nvml-wrapper · ★ 215 · Rust · Prototype](https://repo.masters-masters.com/en/repos/rust-nvml/nvml-wrapper)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.