The Howdy Glossary

Project Verona is a programming language and platform designed for systems programming use cases, featuring ownership models to manage memory safety. Built on the concept of capabilities-based security, it aims to provide clear understanding of contracts and encapsulation within software systems while mitigating race conditions in parallel processing scenarios. Developed at Microsoft Research by Sophia Drossopoulou, Project Verona has evolved from an experimental research project into an open-source effort that utilizes the Rust compiler toolchain and supports both Windows and Linux platforms.