system_r is a simply-typed lambda calculus with parametric polymorphism, written in Rust with minimal dependencies; Originally forked from lazear/types-and-programming-languages, it hosts further enhancements to make it suitable for wider use
Why do you think that https://github.com/bablr-lang/language-cstml is a good alternative to system_r