Verona: Research programming language for concurrent ownership

Project Verona is a research programming language to explore the concept of concurrent ownership. We are providing a new concurrency model that seemlessly integrates ownership.

This research project is at an early stage and is open sourced to facilitate academic collaborations. We are keen to engage in research collaborations on this project, please do reach out to discuss this.

The project is not ready to be used outside of research.

Building

FAQ

Exploring the language

Status

This project is at a very early stage, parts of the type checker are still to be implemented, and there are very few language features implemented yet. This will change, but will take time.

Contributing

Most contributions require you to agree to a Contributor License Agreement (CLA) declaring that you have the right to, and actually do, grant us the rights to use your contribution. For details, visit https://cla.microsoft.com .

When you submit a pull request, a CLA-bot will automatically determine whether you need to provide a CLA and decorate the PR appropriately (e.g., label, comment). Simply follow the instructions provided by the bot. You will only need to do this once across all repos using our CLA.

This project has adopted the Microsoft Open Source Code of Conduct . For more information see the Code of Conduct FAQ or contact opencode@microsoft.com with any additional questions or comments.