# microsoft/verona

Research programming language for concurrent ownership

Repository: https://github.com/microsoft/verona
Canonical: https://ross.abutalabs.com/products/verona
Homepage: https://microsoft.github.io/verona/
Language: C++
License: MIT
License Family: permissive
Last push: 2026-02-28T11:17:30+00:00

## Health v2 (maintenance only)
Score: 63/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 69, release rhythm 35, longevity 100
- inputs: {"age_days": 2546, "days_push": 186, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 3727, forks 173 (observed 2026-08-28T04:08:15.677739+00:00)

## What it is
Project Verona is a Microsoft research programming language exploring a concurrency model based on concurrent ownership, implemented in C++. It is an early-stage academic project not intended for production use and is undergoing a major refactoring.

## Use cases
- research concurrent ownership models for programming languages
- study region-based memory management and concurrency
- experiment with new language designs for safe concurrency
- collaborate on academic programming language research
- explore alternatives to data races in shared-memory systems

## When to choose
- you are a researcher exploring concurrency and ownership type systems
- you want to contribute to or study an experimental language design
- you need a reference implementation of concurrent ownership concepts

## When to avoid
- you need a production-ready language for building software
- you want stability or long-term API guarantees
- you are not prepared to work with a codebase undergoing major refactoring

## Facets
- artifact type: library
- maturity: experimental
- function: programming-language, compiler, concurrency
- domain: programming-languages, compilers
- platform: cpp, cross-platform, windows
- tags: concurrent-ownership, research-language, memory-safety, region-based, academic, research, linux, macos

## Member repositories
- microsoft/verona (main) score 63

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:08:15.677739+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-29T18:29:15.293811+00:00, confidence not recorded.
  - readme: https://github.com/microsoft/verona (fetched 2026-08-28T04:08:15.677739+00:00, sha 1effcd929547)
  - homepage: https://microsoft.github.io/verona/ (fetched 2026-08-29T09:23:46.145331+00:00, sha 05fdb57cef89)
- Data as of 2026-08-30T08:39:29.467469+00:00.