toolchain
by ada-actions
GitHub action to setup an Ada/SPARK dev environment
AI summary
Ada compiler setup
Automates installation of an Ada development environment.
- stars
- 20
- forks
- 6
- watching
- 2
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Java setup
Sets up Java development environment on GitHub Actions runners
Utility library
A comprehensive Ada library for building utility functions and frameworks for logging, serialization, encoding, concurrency, and more.
JavaScript Action
A GitHub Actions repository providing a template for creating JavaScript actions with tests, linting, workflow, publishing, and versioning.
.NET setup tool
Sets up a .NET environment for development and builds.
Ada language server
An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files.
Ada compiler
An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language
C library bindings
Provides bindings to commonly used C libraries for use in Ada programs
Data application builder
A low-code platform for building and deploying data-driven applications using GitHub Actions and Knowledge Spec Markup Language (KSML)
Typing library
Installs Typst and prepares it for use in GitHub Actions workflows
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
RC Car Demo
Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car.
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
Action builder
Tools and templates for creating GitHub Actions written in TypeScript
GUI library
An Ada library for building graphical user interfaces with the GTK toolkit
API wrapper
Ada bindings to Microsoft .NET Framework API
Featured in 1 awesome list
Each link jumps to the spot where the list mentions toolchain.
