Core Algorand VM written in Idris - intended to be wrapped in Rust.
FTE VM written in Idris - intended to be wrapped in Rust. Implimentation based on Algorand.