GitHub repository: tlaplus-community/tlauc
Primary language: Rust
Description: Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa