AdaCore / ada_language_serverLinks
Server implementing the Microsoft Language Protocol for Ada and SPARK
☆270Updated this week
Alternatives and similar repositories for ada_language_server
Users that are interested in ada_language_server are comparing it to the libraries listed below
Sorting:
- Command-line tool from the Alire project and supporting library☆339Updated last week
- GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.☆72Updated 2 weeks ago
- Ada semantic analysis library.☆155Updated last week
- Platform to submit RFCs for the Ada & SPARK languages☆66Updated last month
- LLVM based GNAT compiler☆207Updated last week
- Ada bindings for the GTK+ graphical library.☆92Updated last week
- GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.☆465Updated this week
- An Open Source Community site for Ada☆108Updated last week
- AWS is a complete framework to develop Web based applications in Ada.☆142Updated 2 weeks ago
- Ada Web Application - Framework to build high performance secure web applications☆104Updated 3 weeks ago
- SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…☆284Updated this week
- High level string and text processing library☆59Updated this week
- Sources for learn.adacore.com☆102Updated last week
- Community index for the Alire project☆62Updated this week
- “Quite OK Image” Ada implementation