cardano-node
madsim
cardano-node | madsim | |
---|---|---|
1 | 5 | |
3,018 | 591 | |
- | 2.7% | |
- | 7.5 | |
about 2 months ago | 8 days ago | |
Haskell | 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.
cardano-node
-
On Implementation of Distributed Protocols
Cardano — a blockchain platform based on the Ouroboros family of consensus protocols (written in Haskell).
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?
typed-protocols - Session types framework with support of protocol pipelining.
mainspring - A CPU simulator framework built around, and to support the other tools under, the constraints of the first principles of computing project.
cometbft - CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
Hyperspeedcube - Modern, beginner-friendly 3D and 4D Rubik's cube simulator
library - BFT-SMaRt's project home page
snmp-sim-rust - SNMP Simulator (Rust)
rust-libp2p - The Rust Implementation of the libp2p networking stack.
TX-2-simulator - Simulator for the pioneering TX-2 computer
aptos-core - Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
oxidizy - Life, in its smallest form.
Apache Kafka - Mirror of Apache Kafka
visual-system-simulator - Framework for simulating deficiencies and other aspects of the human visual system