A collection of prototype LVar implementations, tools, and mechanized semantics.