This crate puts forth a partial implementation of the dharithri blockchain VM.
It is designed for testing and debugging smart contracts, but it could in principle evolve to become part of other tools too.