@neauoire there is no official spec (yet), and there is only one complete implementation at the moment, which is the reference for alternative implementations.

as for alternatives, there is the gcc frontend and mrustc which i know of, that are coming up. neither of those have a borrow checker so far.