| key | value |
|---|---|
| id | 90789594 |
| name | ada_language_server |
| full_name | AdaCore/ada_language_server |
| html_url | https://github.com/AdaCore/ada_language_server |
| description | Server implementing the Microsoft Language Protocol for Ada and SPARK |
| created_at | May 9, 2017, 8:37 p.m. |
| updated_at | April 11, 2024, 4:20 p.m. |
| pushed_at | April 13, 2024, 12:55 a.m. |
| size | 10,451 |
| stargazers_count | 217 |
| watchers_count | 37 |
| forks_count | 54 |
| open_issues | 35 |
| language | Ada |
| awesome_list |