GitHub repository: raventid/verona
Description: Research programming language for concurrent ownership