microsoft/verona

Research programming language for concurrent ownership

3,726

stars

941

commits

C++

primary language

Feb 28, 2026

updated

microsoft.github.io/verona/

README

Project Verona is a research programming language to explore the concept of concurrent ownership. We are providing a new concurrency model that seamlessly 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, and is under going a massive refactoring. The previous version can be found in the old_version branch.

FAQ

Contributors

rengolin

318 commits

mjp41

232 commits

sylvanc

128 commits

plietar

114 commits

microsoft/verona

Research programming language for concurrent ownership

3,726

stars

941

commits

C++

primary language

Feb 28, 2026

updated

microsoft.github.io/verona/

README

Project Verona is a research programming language to explore the concept of concurrent ownership. We are providing a new concurrency model that seamlessly 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, and is under going a massive refactoring. The previous version can be found in the old_version branch.

FAQ

Contributors

rengolin

318 commits

mjp41

232 commits

sylvanc

128 commits

plietar

114 commits

Languages

C++

94.1%

CMake

5.9%