кстати, мы использовали ivory, но оказалось (1) сложнее, чем на С, (2) решает совсем мало проблем по сравнению с С, (3) имеет меньше необходимых нам возможностей
Я не знаю ваших задач, но мне, например, нравятся набирающие популярность низкоуровневые языки для задач симметричной криптографии (не путать с блокчейном), они много вещей делают лучше, чем C.