https://github.com/lambdaclass/concrete
check
Ask HN: What less-popular systems programming language are you using?
https://github.com/borgo-lang/borgo
https://github.com/mochilang/mochi
https://github.com/cu1ch3n/type-inference-zoo