"[Liquid Network] recently released Simfony which is a high level language for writing Bitcoin smart contracts

It looks and feels like Rust

and compiles down to Simplicity bytecode