Спасибо за такую подборку. От себя добавлю — еще есть физический движок Farseer. Он основан на Box2D, но имеет множество полезных фич, которых нет в Box2D.
Одно дело с нуля писать загрузчик, ядро и так далее, и все это на ассемблере — ясное дело, что такая ОС будет весит очень мало. И для этого надо не один месяц провозиться с изучением ассемблера и прочего. А здесь от программиста требуется только знание си шарпа. Так что, думаю, плата в виде лишнего мегабайта достаточно окупается.
Wikipedia: C# разрабатывался как язык программирования прикладного уровня для CLR и, как таковой, зависит, прежде всего, от возможностей самой CLR.
В Cosmos специально реализовано преобразование кода С# в ассемблерный код, причем реализовано не майкрософтом, а разработчиками Cosmos. Так что все вопросы к майкрософту.
Да, это возможно, так как код С# переводится в ассемблерный код, с помощью NASM. К тому же иначе не было бы смысла создавать такой проект, легче было бы создать простое консольное приложение С#.
Сам по себе PureBasic подходит для написания небольших gui-программ. Что-то серьезное на нем писать бесполезно. А если учесть то, что он платный… Как альтернативу я бы посоветовал Autoit. Писать на нем еще проще, и к тому же он бесплатен.
В Cosmos специально реализовано преобразование кода С# в ассемблерный код, причем реализовано не майкрософтом, а разработчиками Cosmos. Так что все вопросы к майкрософту.