SaaSHub helps you find the best software and product alternatives Learn more →
Fray Alternatives
Similar projects and alternatives to fray
-
-
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.
-
-
-
-
-
codetracer
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
-
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.
-
-
-
fray discussion
fray reviews and mentions
- Fray: A Controlled Concurrency Testing Framework for the JVM
-
The current state of TLA⁺ development
My current thinking on model checking (still evolving):
Modeling languages are useful to check the correctness of an algorithm during development. During development, a model can also serve as a specification for the actual implementation. This requires that your the modeling language is readable to a broad range of developers, which TLA+ is not. We have been experimenting with FizzBee (fizzbee.io) which looks promising in this regards.
When you go to prod, you really want to test your actual implementation, not a model of it. For this you want something like https://github.com/awslabs/shuttle (for Rust), or https://github.com/cmu-pasta/fray (for Java). Or use something custom.
-
Show HN: CodeTracer – a new time-traveling debugger implemented in Nim and Rust
https://github.com/cmu-pasta/fray
Fray is a controlled concurrency testing tool for the JVM that supports record and replay. It could be a perfect backend for codetracer. (I'm the author of Fray)
-
Concurrency bugs in Lucene: How to fix optimistic concurrency failures
Using Fray does not require knowledge about "deterministic testing" or "controlled concurrency." This is one of its goals: developers write normal concurrency tests, and Fray controls the execution behind the scenes.
In fact, when we evaluate Fray, we collect all existing concurrency tests from Lucene, Kafka, and Guava, and running them under different thread inter-leavings can already reveal so many bugs. [1]
[1]: https://github.com/cmu-pasta/fray/blob/main/docs/bugs.md
- Show HN: Fray: A controlled concurrency testing framework for the JVM
-
A note from our sponsor - SaaSHub
www.saashub.com | 14 Jul 2025
Stats
cmu-pasta/fray is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of fray is Kotlin.