Server implementing the Microsoft Language Protocol for Ada and SPARK - View it on GitHub