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