Alternatives and similar repositories for virtual-threads-tla

Users that are interested in virtual-threads-tla are comparing it to the libraries listed below

• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆72Updated 7 months ago
• spirit-labs / tektite
  Tektite DB
  ☆184Updated 6 months ago
• apache / cassandra-accord
  Accord library for Apache Cassandra®
  ☆79Updated last week
• tomfran / LSM-Tree
  Log-Structured Merge Tree Java implementation
  ☆101Updated last year
• cmu-pasta / fray
  A controlled concurrency testing framework for the JVM
  ☆280Updated this week
• unmeshjoshi / replicate
  ☆125Updated 2 months ago
• apache / cassandra-harry
  Harry for Apache Cassandra®
  ☆54Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆137Updated last week
• mbrooker / simulator_example
  Small numerical simulator example
  ☆55Updated last year
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆242Updated 2 years ago
• bric3 / java-pmap-inspector
  Inspect `pmap -X` output of a java process, requires Java11, likely not 100% accurate
  ☆15Updated 3 years ago
• andygrove / how-query-engines-work
  This is the companion repository for the book How Query Engines Work.
  ☆398Updated 2 years ago
• vmware-archive / sql-to-dbsp-compiler
  Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
  ☆30Updated 2 years ago
• thomaswue / 1brc-steps
  1️⃣🐝🏎️ Path to the Fastest #1BRC Solution
  ☆50Updated 10 months ago
• spacewalkhq / raft-rs
  An understandable, fast and scalable Raft Consensus implementation
  ☆144Updated 11 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆245Updated last week
• DBFromZero / dbf0java
  Develop increasingly sophisticated databases from scratch in Java
  ☆29Updated 3 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆119Updated 2 years ago
• psu-csl / replicated-store
  ☆22Updated 3 months ago
• lalithsuresh / rapid
  Rapid is a scalable distributed membership service
  ☆135Updated 2 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 4 years ago
• DataDog / sketches-java
  DDSketch: A Fast and Fully-Mergeable Quantile Sketch with Relative-Error Guarantees.
  ☆121Updated 4 months ago
• parttimenerd / hello-ebpf
  Hello eBPF world! Hello Java world! Let's discover eBPF together and write Java user-land library along the way.
  ☆163Updated 3 months ago
• databass-book-club / transaction_processing
  Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter
  ☆38Updated last year
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated 2 months ago
• SarthakMakhija / go-lsm
  LSM-based key-value store in Go for educational purpose.
  ☆76Updated 5 months ago
• RedHatPerf / type-pollution-agent
  ☆131Updated last year
• pkolaczk / latte
  Latency Tester for Apache Cassandra
  ☆196Updated last week
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆153Updated last year