Rust
1
0
No license
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.
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Support the repos that depend on this repository
Top contributors
RuleBrittonica
160 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet