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