toolchain
Ada compiler setup
Automates installation of an Ada development environment.
GitHub action to setup an Ada/SPARK dev environment
20 stars
2 watching
6 forks
Language: JavaScript
last commit: almost 3 years ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 actions/setup-java | Sets up Java development environment on GitHub Actions runners | 1,573 |
 stcarrez/ada-util | A comprehensive Ada library for building utility functions and frameworks for logging, serialization, encoding, concurrency, and more. | 70 |
| actions/javascript-action | A GitHub Actions repository providing a template for creating JavaScript actions with tests, linting, workflow, publishing, and versioning. | 1,006 |
| actions/setup-dotnet | Sets up a .NET environment for development and builds. | 956 |
 adacore/ada_language_server | An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files. | 242 |
 alex-gamper/ada-languageserver | An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language | 1 |
| adacore/gnatcoll-bindings | Provides bindings to commonly used C libraries for use in Ada programs | 14 |
 doublechaintech/daas-with-github-actions | A low-code platform for building and deploying data-driven applications using GitHub Actions and Knowledge Spec Markup Language (KSML) | 21 |
 typst-community/setup-typst | Installs Typst and prepares it for use in GitHub Actions workflows | 116 |
| adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
| adacore/rc_car_demo | Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car. | 6 |
 rocher/ob-ada-spark | Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code | 8 |
| actions/typescript-action | Tools and templates for creating GitHub Actions written in TypeScript | 2,064 |
| adacore/gtkada | An Ada library for building graphical user interfaces with the GTK toolkit | 91 |
| alex-gamper/ada-netframework | Ada bindings to Microsoft .NET Framework API | 5 |