close
The Wayback Machine - https://web.archive.org/web/20200824211341/https://github.com/microsoft/verona
Skip to content
master
Go to file
Code

Latest commit

This change replaces the boolean that enables runtime teardown with an
atomic counter of external event sources. This is necessary to support
asynchronous I/O events in the runtime.
0cbd9c1

Git stats

Files

Permalink
Failed to load latest commit information.

README.md

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.

Status

This project is at a very early stage, parts of the type checker are still to be implemented, and there are very few language features implemented yet. This will change, but will take time.

Nightly Build

Distro\Build Release Debug ASAN
Linux Build Status Build Status Build Status
Windows Build Status Build Status
Darwin Build Status Build Status

Building

FAQ

Exploring the language

Contributing

You can’t perform that action at this time.