GitHub repository: technique-lang/technique
Primary language: Rust
Description: Check, simulate, and run procedures written in the Technique programming language