GitHub repository: m-kus/simfony
Primary language: Rust
Description: Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.