会员服务
vscode(Visual Studio Code) 是一个号称“重新定义代码编辑”的可到处运行（跨平台）的开源软件。
GPTutor: a ChatGPT-powered programming tool for code explanation
Arxiv
0+阅读 · 2023年6月15日
GPTutor: a ChatGPT-powered programming tool for code explanation
Arxiv
0+阅读 · 2023年5月3日
Visual Studio Code in Introductory Computer Science Course: An Experience Report
Arxiv
0+阅读 · 2023年3月10日
SYNFIX: Automatically Fixing Syntax Errors using Compiler Diagnostics
Arxiv
0+阅读 · 2022年10月11日
Towards a modern CMake workflow
Arxiv
0+阅读 · 2021年9月30日
Dezyne: Paving the Way to Practical Formal Software Engineering
Arxiv
0+阅读 · 2021年8月6日
Deductive Verification via the Debug Adapter Protocol
Arxiv
0+阅读 · 2021年8月6日
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Arxiv
0+阅读 · 2021年5月3日
SYNFIX: Automatically Fixing Syntax Errors using Compiler Diagnostics
Arxiv
0+阅读 · 2021年4月29日
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Arxiv
0+阅读 · 2021年3月1日
An Integrated Development Environment for the Prototype Verification System
Arxiv
0+阅读 · 2019年12月23日
参考链接
父主题
Web 编辑器
Microsoft Visual Studio
微信扫码咨询专知VIP会员
Top