You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
$ Code samples
Here is some code samples for the Ada Language Server and the VS Code extension.
- Hello world - simple project to get started with VS Code
- Docker - example using Ada with Remote/Container VS Code feature
- Gnatprove - SPARK/gnatprove integration example
- Refactoring demos - sample code to check refactoring capabilities
- Custom worspace-specific environment - example showing how to set workspace-specific environment variables
- Devcontainer example - example showing how to set a devcontainer up