GitHub repository: morphic-lang/morphic
Primary language: Rust
Description: Pure functional programming with whole-program mutability inference