Return to Microsoft Research Lab – Redmond
Research in Software Engineering (RiSE)
项目
加载中…
成立:
The Bosque Programming Language project …
We aim to develop practical tools and te…
成立:
CHET is a compiler and runtime that auto…
Microsoft MakeCode is a joint project be…
成立:
Angelic verification (AV) brings the ben…
成立:
Project Parade is a novel approach to pa…
成立:
Automata is a .NET library that provides…
成立:
This project is focused on creating a lo…
成立:
Try our Block/JavaScript editor! The BBC…