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