linearizability

Open-source projects categorized as linearizability
Edit details
Language: + C + Rust + Clojure
Topics: jepsen-tests jepsen serializable Verification Synchronization
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 3 linearizability Open-Source Projects

linearizability

  • Time-Appliance-Project

    Develop an end-to-end hypothetical reference model, network architectures, performance objectives and the methods to distribute, operate, monitor time synchronization within data center and much more...

    • Project mention: Time Card Mini Adds Pi, GPS, and OXCO to Your PC | news.ycombinator.com | 2023-07-28

  • lincheck

    A linearizability checker for concurrent data structures

    • Project mention: Lineriazability Checker in Rust | news.ycombinator.com | 2023-07-22

  • InfluxDB

    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.

    InfluxDB logo

  • jepsen.tarantool

    Jepsen tests for Tarantool

    • Project mention: Ask HN: What are some unpopular technologies you wish people knew more about? | news.ycombinator.com | 2023-12-02
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

linearizability related posts

  • Time Card Mini Adds Pi, GPS, and OXCO to Your PC

    1 project | news.ycombinator.com | 28 Jul 2023

  • Meta's Reality Labs lost $3.99 billion last year, bringing its total losses since 2020 to $30 billion

    1 project | /r/technology | 27 Apr 2023

  • What’s the most granular magnitude of time (Picosecond, Femtosecond, etc.) that a CPU can return when it’s queried for system time?

    1 project | /r/hardware | 2 Aug 2022

  • New atomic clock loses only one second every 300B years

    1 project | news.ycombinator.com | 20 Feb 2022

Index

What are some of the best open-source linearizability projects? This list will help you:

Project Stars
1 Time-Appliance-Project 1,305
2 lincheck 8
3 jepsen.tarantool 7

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.
www.influxdata.com