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

  • podman

    369 Spin VS podman

    Podman: A tool for managing OCI containers and pods.

  • InfluxDB

    Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

    InfluxDB logo
  • QEMU

    197 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
351
3.3
3 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
Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
www.influxdata.com

Did you konow that C is
the 7th most popular programming language
based on number of metions?