verona

所属分类:编程语言基础
开发工具:C++
文件大小:0KB
下载次数:0
上传日期:2023-03-15 17:27:45
上 传 者sh-1993
说明:  研究并发所有权的编程语言
(Research programming language for concurrent ownership)

文件列表:
.clang-format (3185, 2023-11-27)
.clang-tidy (1463, 2023-11-27)
CMakeLists.txt (1046, 2023-11-27)
CODE_OF_CONDUCT.md (453, 2023-11-27)
CONTRIBUTING.md (2585, 2023-11-27)
LICENSE (1162, 2023-11-27)
SECURITY.md (2810, 2023-11-27)
docs/ (0, 2023-11-27)
docs/_config.yml (165, 2023-11-27)
docs/_data/ (0, 2023-11-27)
docs/_data/navbar.yml (30, 2023-11-27)
docs/_includes/ (0, 2023-11-27)
docs/_includes/navbar.html (144, 2023-11-27)
docs/_layouts/ (0, 2023-11-27)
docs/_layouts/default.html (2512, 2023-11-27)
docs/_layouts/post.html (1176, 2023-11-27)
docs/assets/ (0, 2023-11-27)
docs/assets/css/ (0, 2023-11-27)
docs/assets/css/style.scss (2006, 2023-11-27)
docs/faq.md (4245, 2023-11-27)
docs/index.md (465, 2023-11-27)
src/ (0, 2023-11-27)
src/CMakeLists.txt (1417, 2023-11-27)
src/btype.h (3612, 2023-11-27)
src/lang.cc (5831, 2023-11-27)
src/lang.h (10051, 2023-11-27)
src/lookup.cc (10621, 2023-11-27)
src/lookup.h (1047, 2023-11-27)
src/main.cc (439, 2023-11-27)
src/parse.cc (9736, 2023-11-27)
src/passes/ (0, 2023-11-27)
src/passes/anf.cc (1836, 2023-11-27)
src/passes/application.cc (5065, 2023-11-27)
src/passes/assignlhs.cc (2878, 2023-11-27)
... ...

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, and is under going a massive refactoring. The previous version can be found in the `old_version` branch. ## [FAQ](https://github.com/microsoft/verona/blob/master/docs/faq.md)

近期下载者

相关文件


收藏者