lincheck

Framework for testing concurrent data structures (by JetBrains)

Lincheck Alternatives

Similar projects and alternatives to lincheck

  1. Folly

    99 lincheck VS Folly

    An open-source C++ library developed and used at Facebook.

  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. loom

    17 lincheck VS loom

    Concurrency permutation testing tool for Rust.

  4. temper

    Deterministic simulation of concurrency and failure in distributed systems (by reitzensteinm)

  5. fray

    6 lincheck VS fray

    A controlled concurrency testing framework for the JVM (by cmu-pasta)

  6. relacy

    Automatically exported from code.google.com/p/relacy

  7. rmc

    1 lincheck VS rmc

    Discontinued Kani Rust Verifier [Moved to: https://github.com/model-checking/kani]

  8. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo
  9. kani

    54 lincheck VS kani

    Kani Rust Verifier

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

lincheck discussion

Log in or Post with

lincheck reviews and mentions

Posts with mentions or reviews of lincheck. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2025-06-07.

Stats

Basic lincheck repo stats
2
620
8.7
6 days ago

JetBrains/lincheck is an open source project licensed under Mozilla Public License 2.0 which is an OSI approved license.

The primary programming language of lincheck is Kotlin.


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