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…