# Certora/gambit

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

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

Certora/gambit, dépôt open source à 214 étoiles sur GitHub. Carte Prototype de RepoMasters. Using mutations to improve specs and test suites Langage : Rust.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Certora](https://repo.masters-masters.com/owners/Certora) |
| Étoiles | 214 |
| Forks | 13 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | MIT |
| Création | 2022 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [Certora/gambit](https://github.com/Certora/gambit) |

## Fiche du dépôt

Using mutations to improve specs and test suites

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de Certora

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

## D’autres dépôts Rust

- [reco-tools/ritridata · ★ 214 · Rust · Prototype](https://repo.masters-masters.com/repos/reco-tools/ritridata)
- [slaterain/nv-rs · ★ 214 · Rust · Prototype](https://repo.masters-masters.com/repos/slaterain/nv-rs)
- [crystalmasta/unbihex · ★ 214 · Rust · Prototype](https://repo.masters-masters.com/repos/crystalmasta/unbihex)
- [rustache/rustache · ★ 214 · Rust · Prototype](https://repo.masters-masters.com/repos/rustache/rustache)
- [desbma/hddfancontrol · ★ 214 · Rust · Prototype](https://repo.masters-masters.com/repos/desbma/hddfancontrol)
- [rschmitt/heatseeker · ★ 214 · Rust · Prototype](https://repo.masters-masters.com/repos/rschmitt/heatseeker)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.