https://github.com/lambdaclass/concrete
check
Ask HN: What less-popular systems programming language are you using?