Project Verona

Project Verona is a programming language designed to be safe from memory corruption and other undefined behaviors. It does this by using a type system based on ownership and borrowing, which allows the programmer to express the relationships between different pieces of data. This type system is enforced by the compiler, so that programs that do not follow the rules cannot be compiled. Project Verona is still in development, and is not yet ready for production use. However, it shows promise as a language that could be used to write safe and reliable software.