Lincheck Alternatives

Similar projects and alternatives to lincheck based on common topics and language

• rmc

  1 195 10.0 Rust lincheck VS rmc

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

  

• crossbeam

  42 6,846 8.6 Rust lincheck VS crossbeam

  Tools for concurrent programming in Rust

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• sled

  37 7,758 1.8 Rust lincheck VS sled

  the champagne of beta embedded databases

• left-right

  5 1,898 5.6 Rust lincheck VS left-right

  A lock-free, read-optimized, concurrency primitive.

• kani

  47 1,900 9.5 Rust lincheck VS kani

  Kani Rust Verifier

  

• cargo-check-deadlock

  2 17 8.9 Rust lincheck VS cargo-check-deadlock

  Find deadlocks in Rust code with Petri net model checking