# xiw/mini-mc

<https://repo.masters-masters.com/repos/xiw/mini-mc>

[Accueil](https://repo.masters-masters.com/) › [xiw](https://repo.masters-masters.com/owners/xiw) › [mini-mc](https://repo.masters-masters.com/repos/xiw/mini-mc)

xiw/mini-mc, dépôt open source à 115 étoiles sur GitHub. Carte Prototype de RepoMasters. minimal symbolic model checker & fuzzer Langage : Python.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [xiw](https://repo.masters-masters.com/owners/xiw) |
| Étoiles | 115 |
| Forks | 23 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | Aucune |
| Création | 2015 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [xiw/mini-mc](https://github.com/xiw/mini-mc) |

## Fiche du dépôt

minimal symbolic model checker & fuzzer

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 xiw

- [xiw/stack · ★ 366 · C++ · Alpha](https://repo.masters-masters.com/repos/xiw/stack)

## D’autres dépôts Python

- [Tsanyamra/CoreQilin · ★ 115 · Python · Prototype](https://repo.masters-masters.com/repos/Tsanyamra/CoreQilin)
- [sucikhairida/CenterNaga · ★ 115 · Python · Prototype](https://repo.masters-masters.com/repos/sucikhairida/CenterNaga)
- [ahtx/kindi · ★ 115 · Python · Prototype](https://repo.masters-masters.com/repos/ahtx/kindi)
- [mnaberez/supervisor\_twiddler · ★ 115 · Python · Prototype](https://repo.masters-masters.com/repos/mnaberez/supervisor_twiddler)
- [brosner/django-tagging · ★ 115 · Python · Prototype](https://repo.masters-masters.com/repos/brosner/django-tagging)
- [jwagner/playitslowly · ★ 115 · Python · Prototype](https://repo.masters-masters.com/repos/jwagner/playitslowly)

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