Microsoft опубликовал Pyright, систему проверки типов для языка Python
http://www.opennet.ru/opennews/art.shtml?num=50383
Компания Microsoft открыла исходные тексты проекта Pyright, в рамках которого развивается система для применения статической типизации в приложениях на языке Python. Для разработчиков предлагается утилита командной строки для проверки типов и плагин для интегрированных сред разработки, поддерживающих протокол LSP (Language Server Protocol), такими как Visual Studio Code, Nuclide и Atom. Код написан на языке Typescript (диалект JavaScript со статической типизацией), использует Node.js и открыт под лицензией MIT. #opennet

Выпуск операционной системы Redox OS 0.5, написанной на языке Rust
http://www.opennet.ru/opennews/art.shtml?num=50387
После года разработки подготовлен выпуск операционной системы Redox 0.5, разработанной с использованием языка Rust и концепции микроядра. Наработки проекта распространяются под свободной лицензией MIT. Для тестирования в VirtualBox или QEMU предложены готовые загрузочные образы. #opennet