Sphinx основан на оригинальной спецификации C--, хотя сам компилер
жестко пробит гвоздями к x86 Его исходники много лет считались утраченными, только в 16 году автор снова выложил в паблик.
Сейчас проект развивают россияне.
FPGA, софткор, 8к кода и 4к RAM. Вот практический пример.
Что еще важнее, если по методологии C--сделать ретаргетируемый компилер с подключаемым модулем архитектуро- зависимости, то можно делать кастомные софткоры, оптимальные пол задачу.
Это моя мечта.
Переписывать на нем IP стек глупость.
Важно, оно вроде умеет делать объектники, чтобы прилинковать к С объектникам.
Вызывать можно в обе стороны.