awesome-ada
github.com/ohenley/awesome-ada ↗A curated list of awesome resources related to the Ada and SPARK programming language
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me format readers, writers and checkers resources from awesome-ada"
Installation instructions →What's inside
Libraries
- abf-ioFormat Readers, Writers and Checkers
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada.
- ada-bar-codesFormat Readers, Writers and Checkers
Ada Bar Codes provides a package for generating various types of bar codes (1D, or 2D like QR codes) on different output formats, such as PDF or SVG.
- ada-bfdGeneral Purpose Computing
An Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
- ada-bin2ascFormat Readers, Writers and Checkers
Various binary-to-ASCII codecs such as Base64.
- ada-bundlerUtilities
Library and tool for transparently handling data and configuration file access in an Ada application. Supports macOS, Linux and Windows.
- ada-crypto-libraryCryptography
This is a crypto library for Ada with a nice API and is written for the i386 and x86_64 hardware architecture.
Tools
- acatsVerification
The Ada Conformity Assessment Test Suite, customised for GCC.
- acats-gradingVerification
Tools for grading ACATS results, modified for Unix-like systems.
- adacontrolVerification
Ada constructs lint tool.
- ada-keystoreEncryption
Ada Keystore - protect your sensitive data with secure storage.
- ada-mlUML
Ada-tailored UML Modeling Language.
- ajunitgenGeneration
Generator of JUnit-compatible XML reports in Ada.
Community
- acm-sig-adaNews and Resources
The Special Interest Group on Ada.
- adacore-blogNews and Resources
An insight into the AdaCore ecosystem.
- ada-europeNews and Resources
An international organization, set up to promote the use of Ada.
- ada-forumQuestions and Answers
Ada Forum at ada-lang.io.
- ada-information-clearinghouseNews and Resources
News and resources for the Ada programming language.
- ada-planetNews and Resources
News Aggregator from the Ada programming language world (v3) (
Applications
- acncAutomation
A G-code parser and CNC controller (in Ada).
- ada-3dsMultimedia
A simple 3DS Max model renderer.
- ada4automationAutomation
A framework for designing industrial automation applications using the Ada language.
- adabrowseGenerators and Translators
HTML generator for Ada95 library unit specs.
- ada-chessMisc
Chess engine written in Ada.
- adageMisc
An Ada/SPARK alternative to sudo and doas.
Education
- Ada 2022 Reference CardReference
Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library.
- ada-95-tutorialOnline Books
A book going from beginner to advanced concepts in Ada 95, complete with source files.
- ada-at-rosetta-codeSpecialties
A collection of programming tasks and their sample solutions in Ada.
- ada-compositionSpecialties
A collections of small nifty demos/sample code that may help better layout data or structure project.
- adacore-video-tutorialsTutorials
AdaCore University Video Tutorials.
- ada-cpp-javaOnline Books
Ada for the C++ or Java Developer.
Deployment
- ada4cmakeBuild and Package
CMake macros for simple gnat project inclusion.
- ada-actionsContinuous Integration
Ada Toolchains for GitHub Actions.
- alireBuild and Package
A catalog of ready-to-use Ada libraries plus a command-line tool (alr) to obtain, compile, and incorporate them into your own projects. It aims to fulfill a similar role to Rust's cargo or OCaml's opam.
- alr2appimageBuild and Package
A tool for automatically creating an AppImage executable from an Alire crate.
- auraBuild and Package
An integrated build and source/package management tool with a more hands-on versioning approach. Alternative to alire and gprbuild. Optimized for CI/CD pipelines.
- cmake-ada-cho3Build and Package
CMake language support for Ada, fork of
Frameworks
- ada-adoDatabase
Ada Database Objects is an Ada05 library that provides object relational mapping to access a database in Ada05. The library supports PostgreSQL, MySQL, SQLite as databases. Most of the concepts developped for ADO come from the Java Hibernate ORM.
- ada-asfWeb
Ada Server Faces allows to create web applications using the same pattern as the Java Server Faces (See JSR 252, JSR 314 and JSR 344).
- ada-baseDatabase
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada.
- ada-doom-33D
Id Software's Id-tech-4-BFG in the Ada programming language.
- ada-elWeb
This library provides the support for a simple Expression Language close to the Java Unified Expression Language (EL).
- ada-for-automationAutomation
A4A is a framework for designing industrial automation applications using the Ada language.
Edit
- adacore-adaVSCode Extensions
Language Support for Ada. It includes
- ada-tmbundleText Modes
TextMate support for Ada.
- ada-utilitiesVSCode Extensions
VSCode extension Ada programmers which provides a few utility functions.
- ada-visualIntegrated Development Editors
Ada language integration for Visual Studio 2017.
- ada-vscodeVSCode Extensions
Basic syntax highlighting for Ada and GPR.
- bbedit-ada-moduleText Modes
BBEdit support for Ada.
Showing a sample of 414 resources. View the full list on GitHub →