SSARA (Static Single Assignment Register Assignment) is an implementation of a partially verified SSA-based register assignment algorithm.
Given a program written in JAIR (Just Another Intermediate Representation), the result is an x64 program.
Some sample programs can be found in core/Color.v.
dune build./_build/default/extract/main.exe