На "балтконкурсе" еще был стенд посвященный верификации программ на rust (это к вопросу о коньюнктуре), но это ко мне - и пара посвященных кватернионам (а это как раз к
nabbla1) и их применениям. Один с космической привязкой, другой кажется с игродельческой.
Но в общем идеи идут в массы.