{"adoption": {"forks": 173, "observed_at": "2026-08-28T04:08:15.677739+00:00", "stars": 3727}, "canonical_url": "https://ross.abutalabs.com/products/verona", "card": {"archived": false, "artifact_type": "library", "description": "Research programming language for concurrent ownership", "domain": ["programming-languages", "compilers"], "enriched": true, "function": ["programming-language", "compiler", "concurrency"], "health_score": 62, "homepage": "https://microsoft.github.io/verona/", "language": "C++", "license": "MIT", "license_family": "permissive", "maturity": "experimental", "member_repos": ["microsoft/verona"], "name": "microsoft/verona", "platform": ["cpp", "cross-platform", "windows"], "pushed_at": "2026-02-28T11:17:30+00:00", "repo": "microsoft/verona", "stars": 3727, "tags": ["concurrent-ownership", "research-language", "memory-safety", "region-based", "academic", "research", "linux", "macos"], "topics": [], "urls": [], "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"], "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/verona", "repo": "microsoft/verona", "role": "main", "score": 63}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:08:15.677739+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:29:15.293811+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "1effcd929547750c99df787b90ac2e5b49106f783635f0eaf4f263d0d22fe4f9", "fetched_at": "2026-08-28T04:08:15.677739+00:00", "kind": "readme", "missing": false, "url": "https://github.com/microsoft/verona"}, {"content_hash": "05fdb57cef8992832951cdc9d2eda7f7e34181efe7ff9f018a1fcd9d06edca1f", "fetched_at": "2026-08-29T09:23:46.145331+00:00", "kind": "homepage", "missing": false, "url": "https://microsoft.github.io/verona/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 69, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 2546, "days_push": 186, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 63, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}