Website imba.io

Imba more depth Guide imba.github.io

Gitter gitter.im

GitSpeak gitspeak.com

GitHub Organization github.com

Formidable formidablejs.org

New JavaScript-based Web Language Challenges React - ADTMag adtmag.com

adacore-video-tutorials youtube.com

AdaCore University Video Tutorials.

charles web.archive.org

Ada 95 container library, precursor to Ada 2005+ standard containers.

comp-lang-ada usenet.ada-lang.io

Ada Usenet newsgroup/forum.

tutorials-point-ada-compiler tutorialspoint.com

Online compiler built on the CodingGround engine.

telegram-ada t.me

Ada group at Telegram.

stack-overflow-ada-tag stackoverflow.com

Ada at Stack Overflow.

sparforte sparforte.com

The SPARforte programming language is an Ada-like scripting language, previously known as business user shell (bush). Can be used as interactive UNIX shell replacement.

zanyblue sourceforge.net

An Ada package allowing the externalization of application messages into a properties file.

tomi-4-ada sourceforge.net

Wrappers for various client/server and pub/sub messaging protocols (AMQP, STOMP and ZeroMQ), focusing exclusively on text message communications.

ada-kalinda-os sourceforge.net

Ada KALINDA is a sort of Mac Plus like OS written in Ada95.

plplot sourceforge.net

Cross-platform, scientific graphics plotting library, including an Ada binding.

paraffin sourceforge.net

A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems.

max-home-automation sourceforge.net

gtkada application to manage ELV/eQ-3 MAX! cubes for home automation.

lovelace-os sourceforge.net

Lovelace is an effort to write a Unix like operating system using the Ada 2012 language.

gnoga sourceforge.net

The GNU Omnificent GUI for Ada.

fuzzyml sourceforge.net

Fuzzy machine learning framework.

dequesterity sourceforge.net

Deque/buffer generics that consist of building blocks that may be combined in various ways to create higher abstraction buffers.

deepend sourceforge.net

Storage pool with subpool capabilities for Ada 2012, Ada 2005, and Ada 95.

canta sourceforge.net

A tool to help to sing in tune.

booch95 sourceforge.net

The Ada 95 Booch components are a port of Grady Booch's C++ components.

avr-ada sourceforge.net

GNAT for 8-bit AVR microcontrollers.

acm-sig-ada sigada.org

The Special Interest Group on Ada.

trash-finder rrsoftware.com

Trash Finder is a mail filter that operates as a plugin for your mail server, providing filtering on dozens of criteria along with management of known good mail.

janus-ada rrsoftware.com

Compiler supporting all the major features of the Ada 83, Ada 95, Ada 2005 and Ada 2012 versions of the language.

claw rrsoftware.com

A High Level, Portable, Ada 95 Binding for Microsoft Windows.

ada-at-rosetta-code rosettacode.org

A collection of programming tasks and their sample solutions in Ada.

subreddit-spark reddit.com

Spark at Reddit.

subreddit-ada reddit.com

Ada at Reddit.

vtk-ada r3fowwcolhrzycn2yzlzzw.on.drv.tw

Ada-2012 port to VTK 8.1 (Visualization Toolkit).

qt-ada r3fowwcolhrzycn2yzlzzw.on.drv.tw

Ada-2012 port to Qt 6 framework.

object-ada ptc.com

PTC ObjectAda is an extensive family of native and cross development tools and runtime environments.

apex-ada ptc.com

PTC ApexAda is one of the industry's most popular development environments for Ada and mixed Ada/C/C++ applications.

vulkada phasercat.com

A complete Vulkan 1.1 thick binding for Ada 2012.

adaogg phasercat.com

Complete thin interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language.

ada-95-tutorial perso.telecom-paristech.fr

A book going from beginner to advanced concepts in Ada 95, complete with source files.

ada-crash-course pchapin.org

Ada 2012 crash course under 50 pages from Vermont Technical College.

pasta pasta.phyrama.com

A game of the "match-3" genre, implemented in gnoga.

para-sail parasail-lang.org

ParaSail is a highly parallel experimental language, similar to Go and Erlang. Originaly owned by SofCheck (now AdaCore), it is a test project to try new ideas. Expandable pointers is a sample feature that is about to be introduced to SPARK and Ada. There are in fact 4…

gnu-emacs-ada-mode nongnu.org

Gnu Emacs major-mode for editing Ada sources.

muen muen.codelabs.ch

An x86/64 Separation Kernel for High Assurance.

adasearch mgrojo.github.io

Custom search engines for finding anything related to the Ada and SPARK programming languages, without interference from other homonymous topics.

marte-os marte.unican.es

MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications.

ada-visual marketplace.visualstudio.com

Ada language integration for Visual Studio 2017.