Verified, concurrent, crash-safe transaction system - View it on GitHub