gregoire-szymanski / mini-rust

Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/index.fr.html)
13Updated 4 years ago

Alternatives and similar repositories for mini-rust:

Users that are interested in mini-rust are comparing it to the libraries listed below