GitHub repository: JiHunBae/ada_language_server
Primary language: Ada
Description: Server implementing the Microsoft Language Protocol for Ada and SPARK