library
madsim
library | madsim | |
---|---|---|
2 | 5 | |
431 | 596 | |
1.2% | 3.5% | |
7.1 | 7.6 | |
4 days ago | 5 days ago | |
Java | Rust | |
Apache License 2.0 | 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.
library
-
On Implementation of Distributed Protocols
BFT-SMaRt — a library implementing BFT-SMaRt, a state machine replication system (written in Java);
- “You know nothing about crypto.” I created crypto.
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?
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]
mainspring - A CPU simulator framework built around, and to support the other tools under, the constraints of the first principles of computing project.
Hyperspeedcube - Modern, beginner-friendly 3D and 4D Rubik's cube simulator
snmp-sim-rust - SNMP Simulator (Rust)
TX-2-simulator - Simulator for the pioneering TX-2 computer
oxidizy - Life, in its smallest form.
visual-system-simulator - Framework for simulating deficiencies and other aspects of the human visual system
name-needed - 🕹 A one man effort to produce an intuitive and high performance Dwarf Fortress-esque game. Needs a name.