Star AdaCore / ada_language_server Server implementing the Microsoft Language Protocol for Ada and SPARK Ada 112 34 Built by 0 stars today