This repository contains the New Rust-Extraction-Maestro (REM) toolchain and related research artifacts developed for a multi-semester Rust research project at The Australian National University. It's primarily for researchers and developers interested in Rust toolchain evaluation, verification components, and experimental code for testing concepts, with comprehensive evaluation materials including 80 repository clones and 20 test crates for benchmarking.
How the donated funds are distributed
Kivach works on the Obyte network, and therefore you can track all donations.