Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award. (by nimble-code)

Spin Alternatives

Similar projects and alternatives to Spin

  1. podman

    401 Spin VS podman

    Podman: A tool for managing OCI containers and pods.

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. QEMU

    205 Spin VS QEMU

    Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better Spin alternative or higher similarity.

Spin discussion

Log in or Post with

Spin reviews and mentions

Posts with mentions or reviews of Spin. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-09-04.

Stats

Basic Spin repo stats
1
413
4.8
7 months ago

nimble-code/Spin is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.

The primary programming language of Spin is C.


Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com