oxidizy
madsim
| oxidizy | madsim | |
|---|---|---|
| 1 | 5 | |
| 6 | 586 | |
| - | 1.9% | |
| 4.2 | 7.5 | |
| 4 months ago | 11 days ago | |
| Rust | Rust | |
| GNU General Public License v3.0 or later | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
oxidizy
madsim
-
On Implementation of Distributed Protocols
Being able to control nondeterminism is particularly useful for testing and debugging. This allows creating reproducible test environments, as well as discrete-event simulation for faster-than-real-time simulation of time delays. For example, Cardano uses a simulation environment for the IO monad that closely follows core Haskell packages; Sui has a simulator based on madsim that provides an API-compatible replacement for the Tokio runtime and intercepts various POSIX API calls in order to enforce determinism. Both allow running the same code in production as in the simulator for testing.
- Is Something Bugging You?
- Madsim: Magical Deterministic Simulator for distributed systems in Rust
- madsim: Magical Deterministic Simulator for distributed systems in Rust
-
Announcing Turmoil, a framework for testing distributed systems
How Turmoil different from madsim? Is Turmoil a successor of madsim?
What are some alternatives?
openEtG
Hyperspeedcube - Modern, beginner-friendly 3D and 4D Rubik's cube simulator
actix-web - Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
snmp-sim-rust - SNMP Simulator (Rust)
shorelark - Simulation of life & evolution
mainspring - A CPU simulator framework built around, and to support the other tools under, the constraints of the first principles of computing project.
Rustler - Safe Rust bridge for creating Erlang NIF functions
TX-2-simulator - Simulator for the pioneering TX-2 computer
ncube - A Generalized Hypercube Visualizer
name-needed - 🕹 A one man effort to produce an intuitive and high performance Dwarf Fortress-esque game. Needs a name.
bevy_xpbd - 2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.
visual-system-simulator - Framework for simulating deficiencies and other aspects of the human visual system