Code and data used to create the examples in "Evidence-based Software En...
A modular dynamical-systems model of Ethereum's validator economics
The Economic Simulation Library provides an extensive collection of too...