microsoft/verona
Research programming language for concurrent ownership observed · 2026-08-28
Health v2 · maintenance only
63/100
- Activity 69
- Release rhythm 35
- Longevity 100
Flags: no_releases
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 2546
- days_rel: n/a
- days_push: 186
- n_releases_24m: 0
Adoption not part of the score
3727 stars · 173 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded
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
library · maturity experimental
programming-language compiler concurrency programming-languages compilers cpp cross-platform windows concurrent-ownership research-language memory-safety region-based academic research linux macos
2 sources
- readme: https://github.com/microsoft/verona · fetched 2026-08-28 · 1effcd929547
- homepage: https://microsoft.github.io/verona/ · fetched 2026-08-29 · 05fdb57cef89
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| microsoft/verona | main | 63 |
For agents
markdown · JSON · MCP: product_card(name="microsoft/verona")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem