charon

compiler

Interface with the rustc compiler for the purpose of program verification

How to download and setup charon

Open terminal and run command

git clone https://github.com/AeneasVerif/charon.git

git clone is used to create a copy or clone of charon repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with charon https://github.com/AeneasVerif/charon/archive/master.zip

Or simply clone charon with SSH

[email protected]:AeneasVerif/charon.git

If you have some problems with charon

You may open issue on charon support forum (system) here: https://github.com/AeneasVerif/charon/issues

Similar to charon repositories

Here you may see charon alternatives and analogs

webpack babel next.js gatsby pkg parcel graal pyret-lang iris lebab guido kotlin kotlin-native selfie reading Halide godzilla compiler-explorer Bridge svelte shaderc rust marked v8 gopherjs Nim compiler rescript opal red