Canonical си партнира с Университета в Бристол за създаването на невросимволична платформа за миграция на големи кодови бази от C към безопасния език Rust. Проектът цели да преодолее ограниченията на ръчното пренаписване чрез съчетаване на машинно обучение и методи за формална проверка.