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)
近期下载者:
相关文件:
收藏者: