[anentropic]

There is also http://strlen.com/lobster/

Rust-like borrow checking with a Python-ish syntax, compiles to C++ or Wasm