# nimble-code/Spin

<https://repo.masters-masters.com/en/repos/nimble-code/Spin>

[Home](https://repo.masters-masters.com/en) › [nimble-code](https://repo.masters-masters.com/en/owners/nimble-code) › [Spin](https://repo.masters-masters.com/en/repos/nimble-code/Spin)

nimble-code/Spin has 479 stars on GitHub. Its RepoMasters card: Alpha tier. Explicit state logic model checking tool -- 2002 winner of the ACM System Software…

| Field | Value |
| --- | --- |
| Owner | [nimble-code](https://repo.masters-masters.com/en/owners/nimble-code) |
| Stars | 479 |
| Forks | 141 |
| Language | [C](https://repo.masters-masters.com/en/languages/c) |
| License | None |
| Created | 2018 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [nimble-code/Spin](https://github.com/nimble-code/Spin) |

## Repository

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by nimble-code

- [nimble-code/Cobra · ★ 232 · C · Prototype](https://repo.masters-masters.com/en/repos/nimble-code/Cobra)

## Nearby in C

- [LLeavesG/eBPFDexDumper · ★ 479 · C · Alpha](https://repo.masters-masters.com/en/repos/LLeavesG/eBPFDexDumper)
- [PSP-Arkfive/ARK-5 · ★ 479 · C · Alpha](https://repo.masters-masters.com/en/repos/PSP-Arkfive/ARK-5)
- [obijuankenobiii/inx · ★ 479 · C · Alpha](https://repo.masters-masters.com/en/repos/obijuankenobiii/inx)
- [adafruit/adafruit-beaglebone-io-python · ★ 479 · C · Alpha](https://repo.masters-masters.com/en/repos/adafruit/adafruit-beaglebone-io-python)
- [gobbledegook/creevey · ★ 479 · C · Alpha](https://repo.masters-masters.com/en/repos/gobbledegook/creevey)
- [Netatalk/netatalk · ★ 479 · C · Alpha](https://repo.masters-masters.com/en/repos/Netatalk/netatalk)

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