Skip to main content

A curated list of awesome resources related to the Ada and SPARK programming language

839
GitHub Stars
414
Curated Resources
13
Categories
17 min ago
Last Refreshed
EducationCommunityCompilersEditDeploymentRuntimesOS and KernelsGamesFrameworksToolsLibrariesHardware and EmbeddedApplications

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 →