Canonical у партнерстві з Бристольським університетом розробляє нейросимволічну платформу для міграції великих кодових баз з C на безпечний Rust. Проєкт спрямований на подолання обмежень ручного переписування за допомогою поєднання машинного навчання та методів формальної верифікації.