madsim
ic
madsim | ic | |
---|---|---|
5 | 42 | |
586 | 1,471 | |
1.9% | 1.4% | |
7.5 | 10.0 | |
12 days ago | 5 days ago | |
Rust | Rust | |
Apache License 2.0 | GNU General Public License v3.0 or later |
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.
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?
ic
-
On Implementation of Distributed Protocols
Internet Computer blockchain (ICP) β a general-purpose blockchain system developed by the DFINITY Foundation (written in Rust);
- We're thrilled to announce that #ckETH is now live π Explore trustless multi-chain Web3 with #ICP and discover smooth interactions with #ETH See how you can interact with it π
- Thoughts on ICP?
-
[Blog post]: Scaling Rust builds with Bazel
Yes, non-rust dependencies can be a pain. We addressed this issue in three ways: 1. Sometimes, it just worksβ’ if the crate has a copy of the C code and uses the cc crate to compile it. It's usually slow to compile C in a build script, but it works. 2. Sometimes, we write a custom BUILD script for direct dependencies and link external libraries by hand. Example: lmdb and lmdb-sys. 3. If all of the above is not an option or is too much work, we add a native library to the Docker container that runs our builds.
-
Why no popularity ?
One thing that sticks out to me is that, while their code is open source, it has a restrictive license, the Apache License: https://github.com/dfinity/ic/blob/master/LICENSE - most open source projects opt for the MIT License.
- What Are ZK Rollups? The Future of Smart Contract Blockchains
- Will other blockchains steal chain key cryptography ? Eg eth2.0, Cardano etc
-
Facts: Most active crypto projects by github commits this week π¨βπ» ICP is out building them all. π€
Sources please? https://github.com/dfinity/ic/pulse talks of only ~100 commits (IC only, not including the other repos)
-
Binance crazy for ICP !!! β‘ 25.39% β‘
https://github.com/dfinity/ic/graphs/contributors You can see there are many contributors, whose own GitHub profiles show contributions to OTHER projects. For example, just clicking on one contributor, John Wiegley (Principal Engineer at DFINITY), you will see a long history of open source contributions: https://github.com/jwiegley
-
New to ICP. Why did it crash?
You can see the code here: https://github.com/dfinity/ic
What are some alternatives?
Hyperspeedcube - Modern, beginner-friendly 3D and 4D Rubik's cube simulator
motoko - Simple high-level language for writing Internet Computer canisters
snmp-sim-rust - SNMP Simulator (Rust)
nanodb-specification - Nano ledger database format specification and Python sample
mainspring - A CPU simulator framework built around, and to support the other tools under, the constraints of the first principles of computing project.
onload - OpenOnload high performance user-level network stack
TX-2-simulator - Simulator for the pioneering TX-2 computer
motoko-token - The Token Package
oxidizy - Life, in its smallest form.
btcd - An alternative full node bitcoin implementation written in Go (golang)
name-needed - πΉ A one man effort to produce an intuitive and high performance Dwarf Fortress-esque game. Needs a name.
simple-to-do - Forked from dfinity/examples/simple-to-do