GitHub repository: monaqa/satysfi-language-server
Primary language: Rust
Description: The SATySFi Language Server