The Core of Agorata written in Rust
agorata_contracts/ contains the tools for representing smart contracts (as state machines).
agorata_contracts/
agolytics/ contains the tools for analyzing smart contracts.
agolytics/