Исходное сообщение
"Первый бета-выпуск Arti, реализации Tor на языке Rust" Отправлено Аноним, 03-Мрт-22 18:09
>>>> By virtue of typing... > Цитата из стороннего сайта про Low*. Еще раз повторить "Память как у рыбки?" Рыбка, пересмотри еще раз сайт и авторов. Цитата из работы, представленняющей KreMLin-Low на ICFP (International Conference on Functional Programming), на которую ссылаются с гитхабостраницы проекта >>> This work has been formalized on paper. We state that the compilation of such F* programs to C preserves semantics. We start from Low*, a subset of F*, and relate its semantics to CompCert's Clight. >>> the ICFP 2017 Paper [ссылка] provides an overview of KreMLin as well as a paper formalization of our compilation toolchain" и в которой (работе) в списке авторов без особого труда можно увидеть самых активных коммитеров https://github.com/FStarLang/kremlin/graphs/contributors ... > прочий унылый юлеж поскипан >