microsoft/verona

Analysis updated 2026-07-03

★ 3,715C++Audience · researcherComplexity · 5/5Setup · hard

Mindmap

mindmap
  root((Project Verona))
    What it does
      Research language
      Safe concurrency
      New ownership model
    Status
      Early stage
      Academic focus
      Not production ready
      Large refactor ongoing
    Background
      Microsoft Research
      Open source
      Previous version preserved
    Audience
      Language researchers
      Concurrency academics

mindmap root((Project Verona)) What it does Research language Safe concurrency New ownership model Status Early stage Academic focus Not production ready Large refactor ongoing Background Microsoft Research Open source Previous version preserved Audience Language researchers Concurrency academics

Click or tap to explore — scroll the page freely

What do people build with it?

USE CASE 1

Study an experimental ownership model for safe concurrent programming as the basis for academic research or a research paper.

USE CASE 2

Contribute to or fork a Microsoft research language to test new theories about memory management in concurrent systems.

USE CASE 3

Reference the earlier preserved branch to compare how the language's ownership model evolved between versions.

What is it built with?

C++

How does it compare?

	microsoft/verona	danielkrupinski/osiris	lovebabbar/codehelp-dsa-busted-series
Stars	3,715	3,718	3,719
Language	C++	C++	C++
Setup difficulty	hard	hard	easy
Complexity	5/5	4/5	2/5
Audience	researcher	developer	developer

Figures from each repo's GitHub metadata at analysis time.

How do you get it running?

Difficulty · hard Time to first run · 1day+

Project is undergoing a large-scale restructuring and is explicitly not ready for production or even stable experimentation.

License not stated in the explanation.

In plain English

Project Verona is a research programming language being developed by Microsoft to explore how software can safely manage shared resources when multiple tasks run at the same time. The core idea is a new approach to "ownership," which is a programming concept about tracking which part of a program is responsible for a given piece of data at any given moment. The project is at an early stage and is open-sourced primarily to enable collaboration with academic researchers. The team actively invites research partnerships and notes that the language is not ready for use in real-world software projects. The codebase is also currently undergoing a large-scale restructuring, and a previous version is preserved on a separate branch for reference. The README is brief and does not describe the language's syntax, intended use cases, or performance characteristics in detail. Interested readers are directed to a FAQ document in the repository for more information.

Copy-paste prompts

Prompt 1

Summarize the core ownership and concurrency model that Microsoft's Project Verona is researching, based on the FAQ document in its repository.

Prompt 2

What makes Project Verona's approach to shared resource ownership different from Rust's borrow checker model?

Prompt 3

How do I build the current version of Microsoft's Project Verona research language from source and run a simple example program?

Frequently asked questions

What is verona?

Project Verona is an early-stage research programming language from Microsoft exploring new approaches to memory ownership and safe concurrency, open-sourced specifically to invite academic collaboration rather than production use.

What language is verona written in?

Mainly C++. The stack also includes C++.

What license does verona use?

License not stated in the explanation.

How hard is verona to set up?

Setup difficulty is rated hard, with roughly 1day+ to a first successful run.

Who is verona for?

Mainly researcher.

Open on GitHub → Explain another repo

This repo across BitVibe Labs

Scan in gitsafehub Deploy in gitdeployhub microsoft on gitmyhub

Verify against the repo before relying on details.