GitHub repository: tckmn/bedrock2
Description: A work-in-progress language and compiler for verified low-level programming