hex repo for coders on hexvault