Track Awesome Ada Updates Weekly

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

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor · 😺 ohenley/awesome-ada · ⭐ 836 · 🏷️ Programming Languages

[ Daily / Weekly / Overview ]

Jun 08 - Jun 14, 2026

Science / GPL (no linking exception)

• si (⭐4) - Checked and unchecked SI units.

• si-units (⭐9) - Utility library to pretty print physical values in proper metric units.

Apr 20 - Apr 26, 2026

Sound / GPL (no linking exception)

• portable-openal-sound (⭐1) - A linux-sound-playing package for Ada apps that can asynchronously start and stop music loops, as well as initiate transient sounds.

• AdaTracker (⭐2) - A MOD, XM, S3M, and IT music tracker player written in Ada, using SDL2 for audio output and UI rendering.

Apr 13 - Apr 19, 2026

Specialties

• gems - Ada Gem Archive.

Open source / GPL (with linking exception)

• fsf-gnat (⭐57) - Free Software Foundation compiler for the Ada programming language which forms part of the GNU Compiler Collection. It supports all versions of the language, i.e. Ada 2022, Ada 2012, Ada 2005, Ada 95 and Ada 83.

Online / GPL (no linking exception)

• gnat-ce (discontinued) (⭐3) - GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only.

Mar 16 - Mar 22, 2026

Games / GPL (no linking exception)

• gade (⭐32) - A Game Boy emulation library in Ada.

• gade-sdl (⭐5) - An SDL2 Game Boy emulation front end for Gade (⭐32) using SDLAda (⭐133).

Unit Test, Testing / GPL (no linking exception)

• testy (⭐3) - Ada testing framework, part of Tada (⭐21).

Multimedia / GPL (no linking exception)

• blackvideo-mini-player (⭐2) - A stand-alone lightweight auxiliary video player support for BlackVideo.

Mar 09 - Mar 15, 2026

Build and Package / GPL (no linking exception)

• tada (⭐21) - An opinionated package management tool for Ada.

Linux and POSIX / GPL (no linking exception)

• florist (⭐7) - POSIX Ada binding, IEEE Standards 1003.5(b,c).

• florist-blady (⭐7) - A fork of Florist which is available as an Alire crate.

Feb 09 - Feb 15, 2026

OS and Kernels / GPL (no linking exception)

• Straylight (⭐3) - A simple monolithic RISC-V operating system developed in Ada.

Dec 08 - Dec 14, 2025

Networking and Communication Middleware / GPL (no linking exception)

• coap-spark (⭐8) - A formally verified implementation of CoAP, the Constrained Application Protocol.

Dec 01 - Dec 07, 2025

Online Books

• ada-safe-secure - Safe and Secure Software. An invitation to Ada 2012.

Competition

• crate-of-the-year (⭐25) - Yearly prize for the best Alire crate in three categories: general, SPARK and embedded.

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters / GPL (no linking exception)

• wisitoken - An LALR, LR1, and Packrat parser generator and run-time.

Nov 03 - Nov 09, 2025

Questions and Answers

• discord-ada - Ada Discord server.

Sep 15 - Sep 21, 2025

Text Modes / GPL (no linking exception)

• doom-ada (⭐18) - Doom Emacs Ada language module with syntax highlighting, LSP and Alire support.

Jul 21 - Jul 27, 2025

Questions and Answers

• ada-forum - Ada Forum at ada-lang.io.

• comp-lang-ada - Ada Usenet newsgroup/forum.

• hacker-news-ada - Ada at Hacker News.

Jul 07 - Jul 13, 2025

OS and Kernels / GPL (no linking exception)

• bare-bones (⭐91) - An Ada port of the osdev.org minimal 32-bit x86 kernel.

Jun 16 - Jun 22, 2025

Frameworks / GPL (no linking exception)

• libgfxinit (⭐26) - A graphics initialization (aka modesetting) library for embedded environments, implemented in SPARK.

Mar 24 - Mar 30, 2025

OS and Kernels / GPL (no linking exception)

• ironclad - A kernel for several architectures striving for POSIX compatibility, used on several distributions like Gloire.

Feb 10 - Feb 16, 2025

Unit Test, Testing / GPL (no linking exception)

• bbt (⭐27) - Simple tool to black box check the behavior of an executable through the command line.

Logging / GPL (no linking exception)

• elogs (⭐0) - Logging framework for embedded systems absent of runtime errors.

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters / GPL (no linking exception)

• ada-lisp-embedded (⭐4) - Embeddable Lisp interpreter.

Jan 13 - Jan 19, 2025

Games / GPL (no linking exception)

• retro-arcade (⭐4) - Space Invaders, Pacman, & Frogger games that run in a terminal on Windows, OS-X & Linux.

Database / GPL (no linking exception)

• apq-base (⭐2) - APQ is a database interface library written in Ada95.

Oct 07 - Oct 13, 2024

Generators and Translators / GPL (no linking exception)

• winforms2gtk (⭐1) - Helper conversor of Visual Basic Microsoft Windows Forms applications to Gtk and Ada.

Aug 19 - Aug 25, 2024

Graphical User Interface / GPL (no linking exception)

• anuklear (⭐0) - Ada binding to the Nuklear GUI library and the Nuklear-SDL renderer.

Jul 29 - Aug 04, 2024

News and Resources

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

May 20 - May 26, 2024

Reference

• Ada 2022 Reference Card (⭐14) - Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library.

Mar 25 - Mar 31, 2024

Games / GPL (no linking exception)

• eepers (⭐460) - A simple Turn-based Game in Ada (made with raylib (⭐33k)).

Mar 11 - Mar 17, 2024

Build and Package / GPL (no linking exception)

• alr2appimage (⭐13) - A tool for automatically creating an AppImage executable from an Alire crate.

Feb 26 - Mar 03, 2024

News and Resources

• ada-planet - News Aggregator from the Ada programming language world (v3) (Ada-Planet v2 feed via Matrix).

Games / GPL (no linking exception)

• steamsky (⭐103) - Roguelike in sky with a steampunk setting.

Jan 01 - Jan 07, 2024

Reference

• iso-standard - The 2022 revision to the Ada Standard, usually known as Ada 2022.

Graphical User Interface / GPL (no linking exception)

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

Terminal User Interface / GPL (no linking exception)

• areadline (⭐10) - Ada binding to the readline library.

Math / GPL (no linking exception)

• hungarian (⭐2) - Ada binding to the fast Stachniss' Hungarian solver.

Networking and Communication Middleware / GPL (no linking exception)

• pcsc-ada - PCSC/Ada provides a thick Ada binding to PC/SC-middleware. The library allows programs written in Ada to communicate with smart cards using the SCard API.

General Purpose Computing / GPL (no linking exception)

• boehmgc-ada (⭐7) - Ada binding to the Boehm-Demers-Weiser conservative garbage collector.

• ada-bfd (⭐8) - An Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

Bindings to Other Languages / GPL (no linking exception)

• tcl-ada-shell (⭐12) - Tcl Ada SHell (Tash) is an Ada binding to Tcl/Tk.

• tashy (⭐8) - Tcl Ada SHell Younger (Tashy) is derivate of Tash, focused mostly on Tk binding.

• tashy2 (⭐2) - Derivate of Tashy that aims to be more idiomatic and uses a more permisive license.

• ada-lua (⭐45) - Ada binding for Lua.

• coreland-lua-ada (⭐6) - Ada bindings to the Lua language.

Libraries / GPL (no linking exception)

• ada-time (⭐18) - Ada binding for the Pebble Time smartwatch.

• wiring-pi-ada (⭐0) - Ada bindings for wiringPi.

Generators and Translators / GPL (no linking exception)

• pascal-to-ada (⭐18) - A Pascal to Ada translator.
  • tp7-ada-gtkada (⭐3) - Implementation of Turbo Pascal 7.0 units with gtkada (⭐104).
  • tp7-ada-gnoga (⭐5) - Implementation of Turbo Pascal 7.0 units with gnoga.

Dec 25 - Dec 31, 2023

Continuous Integration / GPL (no linking exception)

• porion - Continuous integration server and agent that helps automate the building, testing and deployment.

Graphical User Interface / GPL (no linking exception)

• imgui-ada (⭐6) - Ada binding of the ImGui library.

DevOps / GPL (no linking exception)

• mat (⭐7) - Simple memory analysis tool intended to help understand where the memory is used in a program.

Generation / GPL (no linking exception)

• resource-embedder - Advanced Resource Embedder to embed files in binaries by producing C, Ada or Go source files.

Math / GPL (no linking exception)

• matrix-root - Compute the N-th root of a matrix.

Format Readers, Writers and Checkers / GPL (no linking exception)

• ada-libmagic - Magic Number Recognition Library Ada binding (libmagic (3)).

Localization / GPL (no linking exception)

• ada-intl - NLS thin Ada binding (gettext (3), textdomain (3), bindtextdomain (3)).

Linux and POSIX / GPL (no linking exception)

• suid-helper - Small Ada library that helps in writing safer suid programs.

Communication / GPL (no linking exception)

• ada-enet (⭐24) - Embedded network stack (Ethernet driver, IPv4, UDP, DNS, DHCP, NTP) for STM32F746 or STM32F769.

Libraries / GPL (no linking exception)

• stm32-ui (⭐4) - STM32 UI library and tools (graphs, images, 12 hour clock).

Nov 20 - Nov 26, 2023

Frameworks / GPL (no linking exception)

• adamant (⭐48) - A component-based, model-driven framework for constructing reliable and reusable real-time software.

Nov 06 - Nov 12, 2023

News and Resources

• ada-europe - An international organization, set up to promote the use of Ada.

Misc / GPL (no linking exception)

• ada-chess (⭐9) - Chess engine written in Ada.

Oct 16 - Oct 22, 2023

Open source / MIT

• byron (⭐65) - A community project to build an Ada compiler, toolchain, and IDE-system.

Open source / Apache License

• augusta (⭐32) - Ada compiler written in Scala that targets LLVM.

Jul 17 - Jul 23, 2023

OS and Kernels / GPL (no linking exception)

• hirtos (⭐51) - A high-integrity RTOS written in SPARK Ada.

Science / GPL (no linking exception)

• units-of-measurement - Library to manage units of measurement with dimension checking.

Frameworks / GPL (no linking exception)

• SweetAda (⭐52) - A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.

Jul 10 - Jul 16, 2023

Graphics and Multimedia / GPL (no linking exception)

• vulkada - A complete Vulkan 1.1 thick binding for Ada 2012.

Sound / GPL (no linking exception)

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

Jun 26 - Jul 02, 2023

Unit Test, Testing / GPL (no linking exception)

• aunit (⭐11) - Ada unit testing framework.

Jun 19 - Jun 25, 2023

Misc / GPL (no linking exception)

• adage (⭐10) - An Ada/SPARK alternative to sudo and doas.

Jun 12 - Jun 18, 2023

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters / GPL (no linking exception)

• aflex-ayacc - Ada scanner and parser generators.

Format Readers, Writers and Checkers / GPL (no linking exception)

• xml-ez-out (⭐3) - Library for emitting XML from Ada programs.

Apr 03 - Apr 09, 2023

Web / GPL (no linking exception)

• matreshka (⭐12) - Framework to develop information systems consisting of five major components: League, XML processor, Web framework, SQL access, and the Modeling framework.

Mar 06 - Mar 12, 2023

Text Modes / GPL (no linking exception)

• gnu-emacs-ada-mode - Gnu Emacs major-mode for editing Ada sources.

Graphical User Interface / GPL (no linking exception)

• adawebui (⭐2) - GUI based on adawebpack (⭐79).

Terminal User Interface / GPL (no linking exception)

• ncurses-ada95 - Ada95 bindings for ncurses.

Verification / GPL (no linking exception)

• adacontrol - Ada constructs lint tool.

Sound / GPL (no linking exception)

• scala - A powerful software tool for experimentation with musical tunings, such as just intonation scales, equal and historical temperaments, microtonal and macrotonal scales, and non-Western scales.

Web / GPL (no linking exception)

• ironsides - Authoritative DNS server verified by SPARK/Ada.

Shells, Interpreters and Emulators / GPL (no linking exception)

• sparforte - 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.

Feb 27 - Mar 05, 2023

VSCode Extensions / GPL (no linking exception)

• adacore-ada - Language Support for Ada. It includes Language Server for Ada (⭐297).

UML / GPL (no linking exception)

• umbrello - Unified Modelling Language (UML) diagram program based on KDE Technology. Outputs Ada.

Feb 20 - Feb 26, 2023

Entry Point

• ada-logo-editor - The “Ada horizon” logo maker website.

Questions and Answers

• gitter-ada - Ada channel at Gitter.

News and Resources

• ada-resource-association - Since 1990 the Ada Resource Association's principal mission has been “To ensure continued success of Ada users and promote Ada use in the software industry”.

Commercial / Closed source / Apache License

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

Continuous Integration / GPL (no linking exception)

• ada-actions (⭐21) - Ada Toolchains for GitHub Actions.

Runtimes / GPL (no linking exception)

• ada-runtime (⭐34) - A downsized Ada runtime which can be adapted to different platforms.

OS and Kernels / GPL (no linking exception)

• ada-kalinda-os - Ada KALINDA is a sort of Mac Plus like OS written in Ada95.

Games / GPL (no linking exception)

• rufas-cube (⭐5) - RufasCube is a puzzle game for Windows, OS-X and GNU Linux (it looks like a rubic cube but it's a slider, not a twister).

• bingada (⭐8) - Bingo application in gtkada (⭐104).

• civ-klon (⭐22) - Civilization-style turn-based strategy game. Requires asfml (⭐42).

Components / GPL (no linking exception)

• gneiss (⭐24) - An interface collection to be used with applications for component based systems. It aims to be easily portable/platform independent and is compatible with the ada-runtime (⭐34).

Graphical User Interface / GPL (no linking exception)

• gnoga - The GNU Omnificent GUI for Ada.

• gtkada (⭐104) - Ada graphical toolkit based on Gtk3 components.

• ada-gui (⭐45) - GUI implemented on its own task, so it doesn't require that its client give up a thread of control. Derived from gnoga.

Terminal User Interface / GPL (no linking exception)

• linenoise-ada - Bindings to the Linenoise line-editing library (patched to support UTF-8).

3D / GPL (no linking exception)

• ada-doom-3 (⭐282) - Id Software's Id-tech-4-BFG in the Ada programming language.

Automation / GPL (no linking exception)

• aicwl - Collection of packages provided for design of high-quality industrial control widgets for Ada applications.

• max-home-automation - gtkada (⭐104) application to manage ELV/eQ-3 MAX! cubes for home automation.

Math / GPL (no linking exception)

• geo-energy-math (⭐8) - Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018).

Algorithms, Containers and Protocols / GPL (no linking exception)

• az3 (⭐7) - Ada binding for Z3.

Compression / GPL (no linking exception)

• zip-ada (⭐35) - Programming library for dealing with the Zip compressed archive file format.

Format Readers, Writers and Checkers / GPL (no linking exception)

• protobuf (⭐45) - A Google Protocol Buffers implementation in Ada, using matreshka (⭐12).

• ada-toml (⭐37) - TOML parser for Ada.

Web / GPL (no linking exception)

• template-parser (⭐9) - AWS templates engine.

Graphics and Multimedia / GPL (no linking exception)

• asfml (⭐42) - Ada binding to the Simple and Fast Multimedia Library.

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

General Purpose Computing / GPL (no linking exception)

• cuda-ada - CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model.

Sound / GPL (no linking exception)

• coreland-openal-ada (⭐3) - Ada binding to OpenAL.

Utilities / GPL (no linking exception)

• ada-bundler (⭐5) - Library and tool for transparently handling data and configuration file access in an Ada application. Supports macOS, Linux and Windows.

• macos-sdks-vs-gcc (⭐1) - Provides GCC 'specs' files to cope with SDK policy changes.

Libraries / GPL (no linking exception)

• ada-synth-lib (⭐36) - Simple audio synthesis library that can run on bareboard devices.

Simulation / GPL (no linking exception)

• mars-mpl (⭐5) - Mars Polar Lander (Crash) Simulator (gtkada (⭐104), aicwl).

Generators and Translators / GPL (no linking exception)

• asis2xml (⭐2) - Converts Ada sources' ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.

Shells, Interpreters and Emulators / GPL (no linking exception)

• analytical-engine (⭐15) - An Ada 2012 emulation of Charles Babbage's Analytical Engine.

• dashera (⭐38) - Data General DASHER terminal emulator using gtkada (⭐104).

• yotroc (⭐5) - Assembler/Emulator for a fictional CPU architecture. IDE implemented in gtkada (⭐104).

Misc / GPL (no linking exception)

• dhondt (⭐4) - Ada implementation of D'Hondt electoral result calculator.

• whitakers-words (⭐322) - William Whitaker's WORDS, a Latin dictionary.

Feb 13 - Feb 19, 2023

Entry Point

• ada-lang-io - A community site for Ada.

Online Books

• ada-distilled - Ada Distilled for Ada 2005.

Specialties

• ada-ic-learning - For additional learning resources, see the AdaIC learning section.

News and Resources

• ada-information-clearinghouse - News and resources for the Ada programming language.

Graphical User Interface / GPL (no linking exception)

• fltk-ada - Ada-2012 binding to FLTK (Fast Light Toolkit).

DevOps / GPL (no linking exception)

• powerjoular (⭐109) - This tool allows monitoring power consumption of multiple platforms and processes.

Algorithms, Containers and Protocols / GPL (no linking exception)

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

Utilities / GPL (no linking exception)

• simple-logging (⭐5) - Easy to use logging facilities for output to console in Ada programs.

Automation / GPL (no linking exception)

• ada4automation - A framework for designing industrial automation applications using the Ada language.

Dec 26 - Jan 01, 2022

Simulation / GPL (no linking exception)

• eagle-lander (⭐34) - Apollo 11 lunar lander simulator (gtkada (⭐104)/Cairo).

• doppler-effect-sample2 (⭐2) - Moving airplane causes Stereo Sound Doppler effect (gtkada (⭐104)).

Dec 19 - Dec 25, 2022

DevOps / GPL (no linking exception)

• septum (⭐453) - An interactive context-based text search tool for searching large codebases.

Networking and Communication Middleware / GPL (no linking exception)

• adare-net - This is a small, portable and easy to use Ada network lib. It supports ipv4 ipv6 udp and tcp, and can 'listen' with ipv6, too.

Dec 12 - Dec 18, 2022

Networking and Communication Middleware / GPL (no linking exception)

• kafka-ada (⭐14) - Binding for the C librdkafka library, allows sending and receiving from a Kafka bus.

Oct 03 - Oct 09, 2022

Build and Package / GPL (no linking exception)

• aura (⭐24) - 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.

Components / GPL (no linking exception)

• asap (⭐7) - A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder.

May 16 - May 22, 2022

Entry Point

• celebrating-ada - Ada history key moments.

Format Readers, Writers and Checkers / GPL (no linking exception)

• uri-ada - URI and MIME parser & manipulation library.

Networking and Communication Middleware / GPL (no linking exception)

• tlsada - Bindings to the libtls TLS/SSL library.

Utilities / GPL (no linking exception)

• getopt-ada - Portable implementation of getopt(3) in Ada.

Apr 25 - May 01, 2022

Questions and Answers

• libera-chat-ada - Ada channel at IRC.

• matrix-ada - Ada room at Gitter via Matrix.

Apr 11 - Apr 17, 2022

Algorithms, Containers and Protocols / GPL (no linking exception)

• chests (⭐5) - Bounded containers for embedded systems.

Apr 04 - Apr 10, 2022

Build and Package / GPL (no linking exception)

• cmake-ada-cho3 (⭐1) - CMake language support for Ada, fork of plplot's cross-platform support code.

Graphical User Interface / GPL (no linking exception)

• qt-ada - Ada-2012 port to Qt 6 framework.

Mar 28 - Apr 03, 2022

Text Modes / GPL (no linking exception)

• ob-ada-spark (⭐8) - Ada/SPARK support for org-babel : Evaluate source code blocks with Gnu Emacs and org files.

Multimedia / GPL (no linking exception)

• canta - A tool to help to sing in tune.

Mar 21 - Mar 27, 2022

Web / GPL (no linking exception)

• ews (⭐22) - Embedded Web Server is a web server construction kit, designed for embedded applications using the GNAT Ada compiler.

Mar 07 - Mar 13, 2022

Games / GPL (no linking exception)

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

• buttons (⭐5) - A simple gtkada (⭐104) Button Mania game.

• play-2048 (⭐7) - A clone of the popular 2048 game, implemented in Ada using asfml (⭐42) for graphics and ada-toml (⭐37) for saving state.

Compression / GPL (no linking exception)

• dcf-ada (⭐6) - An Ada 2012 library for document container files (Based on zip-ada (⭐35)).

Format Readers, Writers and Checkers / GPL (no linking exception)

• protobuf-ada (⭐18) - Experimental Ada code generation support for Google Protocol Buffers.

Utilities / GPL (no linking exception)

• ssprep - An extensible template engine akin to jinja but using template-parser (⭐9) and intended for command line usage.

Office / GPL (no linking exception)

• hunter (⭐20) - Graphical (gtkada (⭐104)) file manager for Linux.

Jan 17 - Jan 23, 2022

General Purpose Computing / GPL (no linking exception)

• cuda (⭐25) - Support for CUDA (Compute Unified Device Architecture) from AdaCore.

Dec 06 - Dec 12, 2021

Networking and Communication Middleware / GPL (no linking exception)

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

• mosquitto-ada (⭐7) - Binding for the MQTT broker Mosquitto.

Sep 27 - Oct 03, 2021

Open source / MIT

• hac (⭐166) - The HAC Ada Compiler - a small, quick Ada compiler fully in Ada.

Editors / GPL (no linking exception)

• lea (⭐32) - A Lightweight Editor for Ada, aims to provide an easy, script-world-like, "look & feel" for developing Ada projects of any size and level, while enabling access to full-scale development tools like GNAT. LEA includes HAC, the HAC Ada Compiler.

Cryptography / GPL (no linking exception)

• blake2s (⭐1) - SPARK83 implementation of the BLAKE2s hash function.

Apr 12 - Apr 18, 2021

Build and Package / GPL (no linking exception)

• cmake-ada-offa (⭐12) - Ada language support for CMake.

Mar 08 - Mar 14, 2021

Utilities / GPL (no linking exception)

• ux-strings (⭐17) - Unicode extended strings.

Feb 15 - Feb 21, 2021

Components / GPL (no linking exception)

• lace (⭐12) - A set of Ada components to allow 3D simulations, games and GUI's in Ada.

Automation / GPL (no linking exception)

• ada-for-automation - A4A is a framework for designing industrial automation applications using the Ada language.

Shells, Interpreters and Emulators / GPL (no linking exception)

• a-shell (⭐17) - A component to aid in writing shell-like applications in Ada.

Nov 23 - Nov 29, 2020

Unit Test, Testing / GPL (no linking exception)

• ahven - A simple unit test library and framework for the Ada programming. language. It is loosely modelled after JUnit and some ideas from AUnit.

Nov 02 - Nov 08, 2020

System Modeling / GPL (no linking exception)

• radalib (⭐11) - Ada library and tools for the analysis of Complex Networks and more.

Oct 26 - Nov 01, 2020

Algorithms, Containers and Protocols / GPL (no linking exception)

• smart-pointers (⭐1) - A package providing a reference-counted access type Smart_Pointer.

Oct 12 - Oct 18, 2020

Online Books

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

Specialties

• ada-at-rosetta-code - A collection of programming tasks and their sample solutions in Ada.

Text Modes / GPL (no linking exception)

• vim-ada-bundle (⭐8) - Maintained Ada Bundle : Complete Ada-Mode for Vim/Neovim.

VSCode Extensions / GPL (no linking exception)

• ada-vscode (⭐1) - Basic syntax highlighting for Ada and GPR.

Runtimes / GPL (no linking exception)

• adawebpack (⭐79) - GNAT RTL for WebAssembly and bindings for Web API.

Terminal User Interface / GPL (no linking exception)

• curses (⭐17) - Advanced UNIX Terminal UI Ada Binding Package.

3D / GPL (no linking exception)

• engine-3d (⭐4) - A 3D engine for DOS-talgics.

Generation / GPL (no linking exception)

• record-flux (⭐126) - RecordFlux: Toolset for the formal specification of messages and the generation of verifiable binary parsers and message generators in SPARK.

Math / GPL (no linking exception)

• lalg (⭐5) - Interface to dense linear algebra packages.

Cryptography / GPL (no linking exception)

• threefish (⭐6) - Ada Implementation of the Threefish-256 Encryption Algorithm.

• ada-crypto-library (⭐86) - This is a crypto library for Ada with a nice API and is written for the i386 and x86_64 hardware architecture.

• spark-nacl (⭐135) - SPARK 2014 re-implementation of the TweetNaCl crypto library.

• libsodium-ada (⭐12) - A secure cryptographic library (libsodium for Ada).

• ada-libsecret (⭐2) - Ada Binding for the libsecret library.

Compression / GPL (no linking exception)

• ada-lzma (⭐7) - Ada binding for liblzma compression library.

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters / GPL (no linking exception)

• libadalang (⭐170) - Library for parsing and semantic analysis of Ada code. It is meant as a building block for integration into other tools (IDE, static analyzers, etc).

Networking and Communication Middleware / GPL (no linking exception)

• adasockets (⭐15) - IPv4 socket library (TCP, UDP, and multicast).

• dbus-ada - The D_Bus/Ada library provides an Ada binding to the D-Bus message bus system.

• zeromq-ada - Binding to the ZeroMQ comunications-library.

Chatting and Communication / GPL (no linking exception)

• axmpp (⭐9) - With the AXMPP library you can connect to a Jabber server to send and receive messages.

• weechat-ada (⭐4) - Ada 2012 library for WeeChat plug-ins.

• weechat-canberra (⭐1) - A WeeChat plug-in written in Ada 2012 that plays sounds using Canberra.

• weechat-emoji (⭐2) - A WeeChat plug-in written in Ada 2012 that displays emoji.

Graphics and Multimedia / GPL (no linking exception)

• adagl (⭐11) - Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WebAssembly/WebGL).

• sdlada (⭐133) - Ada 2012 bindings to SDL 2.

• ada-nanovg (⭐1) - Ada bindings to NanoVG.

• free-type-ada (⭐1) - FreeType binding for Ada 2005.

General Purpose Computing / GPL (no linking exception)

• opencl-ada (⭐17) - An Ada binding for the OpenCL host API.

Sound / GPL (no linking exception)

• opus-ada (⭐2) - Ada 2012 bindings for the Opus audio codec.

• canberra-ada (⭐4) - Ada 2012 bindings for libcanberra, an implementation of the XDG Sound Theme and Name Specifications.

• ada-soundio (⭐5) - Ada bindings for libsoundio.

• oto (⭐3) - Ada binding to OpenAL which tries to mimic original API while using Ada types.

Localization / GPL (no linking exception)

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

Utilities / GPL (no linking exception)

• a-stream-tools - Stream utilities for Ada2005 and 2012.

Robotics / GPL (no linking exception)

• rclada (⭐11) - Ada client library for ROS2/RCL.

• player-ada (⭐4) - Ada bindings for the player robotic platform.

Linux and POSIX / GPL (no linking exception)

• wposix (⭐4) - Ada Windows POSIX binding.

• ada-v4l2 (⭐0) - Ada Posix Binding to Video 4 Linux, used for RPI.

• inotify-ada (⭐9) - An Ada 2012 library for monitoring filesystem events using Linux' inotify API.

• dl-ada (⭐1) - Minimal binding to libdl.

Windows and .NET / GPL (no linking exception)

• win32ada (⭐22) - Ada API to the Windows library.

• ada-net-framework (⭐6) - Ada bindings to the Microsoft NetFramework Api.

• ada-winrt (⭐11) - Ada bindings for the Microsft WinRT Api.

• ada-win32 (⭐3) - Ada bindings for the Microsoft Win32 Api.

Drivers / GPL (no linking exception)

• em-brick (⭐0) - emBRICK driver and support for emBRICK in Ada.

Applications / GPL (no linking exception)

• micro-tem-pi (⭐2) - Raspberry Pi using a BBC Micro:Bit as temperature sensor.

Simulation / GPL (no linking exception)

• covid-19-simulator (⭐11) - Multi engine/algorithms COVID-19 simulator. Ada, Qt code under the hood.

Generators and Translators / GPL (no linking exception)

• ada-magic - SofCheck AdaMagic is ACATS validated and certified Ada compiler targeting C and/or C++ (4 command line switches for fine tuning). ObjectAda and several other commercial compilers share engine with AdaMagic. MapuSoft distributes AdaMagic as integral component of AppCOE.

Oct 05 - Oct 11, 2020

Build and Package / GPL (no linking exception)

• ada4cmake (⭐5) - CMake macros for simple gnat project inclusion.

Aug 24 - Aug 30, 2020

Components / GPL (no linking exception)

• simple-components - ASN.1, MQTT client and server/broker implementation, B-trees, Multiple connection TCP servers, Chebyshev series, Mutexes, Cryptography, Objects and handles to, Doubly-linked webs and lists, ODBC bindings, Blackboards (lock-free), OpenSSL bindings, ELV/eQ-3 MAX! client implementation, Parsers, Events (plain, pulse, array of), Persistent objects and handles to, GNUTLS bindings, Persistent storage and handles to, Graphs (directed, weighted, acyclic, trees), Pools, HTTP implementation, Sets and maps, FIFO (lock-free), SMTP client implementation, IEEE 754, SQLite bindings, Inter-process communication, Stacks, Interfacing Julia language, Streams, JSON, Strings editing, LDAP, Tables (maps of strings), MODBUS client implementation, Unbounded arrays.

Aug 10 - Aug 16, 2020

Online / Apache License

• compiler-explorer - Run GNAT FSF compilers interactively from your web browser and interact with the assembly.

Aug 03 - Aug 09, 2020

OS and Kernels / GPL (no linking exception)

• m2os - RTOS with simple tasking support for small microcontrollers.

Jul 06 - Jul 12, 2020

OS and Kernels / GPL (no linking exception)

• cubit (⭐86) - CuBitOS is a multi-processor, 64-bit, (partially) formally-verified, general-purpose operating system, currently for the x86-64 architecture.

May 04 - May 10, 2020

VSCode Extensions / GPL (no linking exception)

• ada-utilities (⭐0) - VSCode extension Ada programmers which provides a few utility functions.

Apr 06 - Apr 12, 2020

Encryption / GPL (no linking exception)

• ada-keystore (⭐36) - Ada Keystore - protect your sensitive data with secure storage.

Algorithms, Containers and Protocols / GPL (no linking exception)

• ada-language-server (⭐297) - Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK.

• ada-lsp (⭐12) - Language Server Protocol for Ada.

• ada-lsp-client (⭐1) - Prototype implementation of LSP client - Visual Studio 2017.

Cryptography / GPL (no linking exception)

• fletcher (⭐0) - Trivial implementation of fletcher_16 checksum computation algorithm.

• base58-ada (⭐3) - Base58 encoding and decoding in Ada.

• libsparkcrypto (⭐28) - A cryptographic library implemented in SPARK.

• sip-hash (⭐1) - A pure Ada implementation of the SipHash PRF.

• libkeccak (⭐39) - A SPARK implementation of the Keccak family of sponge functions and related constructions.

• ascon-spark (⭐3) - Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm.

• spark-sip-hash (⭐6) - Ada/SPARK implementation of the SipHash keyed hash function.

• spark-norx (⭐9) - Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm.

• stotp (⭐9) - Timed One-Time-Pad (RFC 6238) implementation in SPARK.

• xxhash-ada (⭐1) - Extremely fast non-cryptographic Hash algorithm, xxhash is working at speeds close to RAM limits.

Simulation / GPL (no linking exception)

• ghdl (⭐2.8k) - VHDL 2008/93/87 simulator.

Mar 30 - Apr 05, 2020

Online Books

• ada-cpp-java - Ada for the C++ or Java Developer.

Mar 16 - Mar 22, 2020

Tutorials

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

Feb 24 - Mar 01, 2020

UML / GPL (no linking exception)

• ada-ml (⭐11) - Ada-tailored UML Modeling Language.

Jan 20 - Jan 26, 2020

Commercial / Open source / Apache License

• gnat-pro - The GNAT Pro product line offers a comprehensive toolset (IDEs, debugger, librairies, dynamic and static analysis tools) for Ada, C and C++.

Commercial / Closed source / Apache License

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

• object-ada - PTC ObjectAda is an extensive family of native and cross development tools and runtime environments.

• greenhills-ada - Green Hills Software offers the industry's first, fully validated family of Ada Cross Compilers for real-time targets.

OS and Kernels / GPL (no linking exception)

• havk (⭐28) - x86-64 security-focused OS being created with SPARK.

Dec 23 - Dec 29, 2019

Runtimes / GPL (no linking exception)

• cortex-gnat-rts (⭐79) - This package includes GNAT Ada Run Time Systems (RTSs) based on FreeRTOS and targeted at boards with Cortex-M0, M3, -M4, -M4F MCUs.

Graphical User Interface / GPL (no linking exception)

• gwindows (⭐25) - GNU Ada Visual Interface.

3D / GPL (no linking exception)

• globe-3d (⭐19) - GL Object Based Engine for 3D.

Unit Test, Testing / GPL (no linking exception)

• scripted-testing (⭐2) - Supports functional testing using Tcl scripts.

Verification / GPL (no linking exception)

• acats (⭐12) - The Ada Conformity Assessment Test Suite, customised for GCC.

• acats-grading (⭐4) - Tools for grading ACATS results, modified for Unix-like systems.

UML / GPL (no linking exception)

• coldframe (⭐9) - This tool generates Ada framework code and documentation from UML models.

Math / GPL (no linking exception)

• mathpaqs (⭐14) - Collection of mathematical, 100% portable, packages in the Ada programming language.

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters / GPL (no linking exception)

• xia (⭐4) - An Ada implementation of XPath 1.0.

Format Readers, Writers and Checkers / GPL (no linking exception)

• ini-files (⭐9) - The Ini file manager consists of a package, Config, which can read and modify informations from various configuration files known as "ini" files.

• excel-writer (⭐9) - Create Excel files with basic formats.

• generic-image-decoder (⭐28) - Multi-format image decoder library for Ada.

• ada-pdf-writer (⭐26) - Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics, images (JPEG).

• ada-bar-codes (⭐17) - 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.

Drivers / GPL (no linking exception)

• multiplexed-io (⭐0) - This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada.

Office / GPL (no linking exception)

• azip (⭐16) - A free, portable Zip Archive Manager.

• texcad (⭐6) - A program for drawing or retouching {picture}s in LaTeX.

• cbsg (⭐16) - The Corporate Bullshit Generator.

Web / GPL (no linking exception)

• wasabee (⭐14) - A Web browser with safety focus.

Generators and Translators / GPL (no linking exception)

• cappulada (⭐17) - Ada binding generator for C++.

Dec 16 - Dec 22, 2019

Math / GPL (no linking exception)

• mandelbrot-ascii (⭐2) - Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless).

Nov 25 - Dec 01, 2019

OS and Kernels / GPL (no linking exception)

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

Nov 18 - Nov 24, 2019

Questions and Answers

• subreddit-ada - Ada at Reddit.

• subreddit-spark - Spark at Reddit.

• telegram-ada - Ada group at Telegram.

Oct 21 - Oct 27, 2019

Text Modes / GPL (no linking exception)

• bbedit-ada-module - BBEdit support for Ada.

Sep 16 - Sep 22, 2019

Web / GPL (no linking exception)

• yass (⭐27) - Yet Another Static Site Generator (like Jekyll or Hugo).

Aug 19 - Aug 25, 2019

Games / GPL (no linking exception)

• mine-detector (⭐4) - A mine-finding game that never requires guessing.

Jul 22 - Jul 28, 2019

Reference

• adalib (⭐24) - Standard Ada library specification as defined in Reference Manual.

Database / GPL (no linking exception)

• ada-base (⭐35) - Thick database bindings to MySQL, PostgreSQL and SQLite for Ada.

Generation / GPL (no linking exception)

• ajunitgen (⭐1) - Generator of JUnit-compatible XML reports in Ada.

Algorithms, Containers and Protocols / GPL (no linking exception)

• adagio (⭐4) - Gnutella2 (G2) network server leaf.

• agpl (⭐4) - Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

Patterns / GPL (no linking exception)

• rxada (⭐24) - An Ada 2012 implementation of the Rx methodology.

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters / GPL (no linking exception)

• parser-tools (⭐6) - Tools for writing lexers / parsers in Ada.

Utilities / GPL (no linking exception)

• licensing (⭐0) - Open Source Licenses library for Ada.

• rsfile (⭐0) - Command-line utility that picks a file from a folder hierarchy with probability proportional to its size.

• cstrings (⭐2) - Convenience subprograms to interact with C strings.

• cvsweb2git (⭐0) - Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository.

Libraries / GPL (no linking exception)

• sancta (⭐1) - Multi-robot task allocation library.

Apr 29 - May 05, 2019

Integrated Development Editors / GPL (no linking exception)

• ada-visual - Ada language integration for Visual Studio 2017.

Apr 01 - Apr 07, 2019

Build and Package / GPL (no linking exception)

• alire (⭐392) - 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.

Mar 04 - Mar 10, 2019

Algorithms, Containers and Protocols / GPL (no linking exception)

• simple-blockchain (⭐23) - Simple blockchain in Ada.

Shells, Interpreters and Emulators / GPL (no linking exception)

• gsh (⭐119) - Non interactive POSIX shell for Windows, aimed at GNU software builds. 2-3 times faster than Cygwin.

Programming Languages / GPL (no linking exception)

• para-sail - 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 experimental languages: ParaSail, Sparkel, Javallel, Parython, all sharing bytecode interpreter and LLVM engine.

Feb 18 - Feb 24, 2019

Online Books

• ada-wikibook - Ada Programming book at Wikibooks.

• ada-craft - Ada 95: The Craft of Object-Oriented Programming.

• spark-guidance - Implementation Guidance for the Adoption of SPARK.

Algorithms, Containers and Protocols / GPL (no linking exception)

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

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

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

Communication / GPL (no linking exception)

• sensortile (⭐19) - This project shows how to initialize a SensorTile and how to send sensor data over BLE from a SensorTile to a suitable host.

Feb 11 - Feb 17, 2019

Components / GPL (no linking exception)

• ada-util (⭐82) - A logging framework close to Java log4j framework, support for properties, serialization/deserialization framework for XML/JSON/CSV, Ada beans framework, encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA), a composing stream framework (raw, files, buffers, pipes, sockets), several concurrency tools (reference counters, counters, pools, fifos, arrays), process creation and pipes, support for loading shared libraries (on Windows or Unix), HTTP client library on top of CURL or AWS.

Database / GPL (no linking exception)

• ada-ado (⭐29) - 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.

Web / GPL (no linking exception)

• awa (⭐109) - Ada Web Application is a framework to build a Web Application in Ada 2012. The framework provides several ready to use and extendable modules that are common to many web application. This includes the login, authentication, users, permissions, managing comments, tags, votes, documents, images.
  • dynamo (⭐18) - Code generator used to generate an Ada Web Application or database mappings from hibernate-like XML description, YAML doctrine model or UML models.
  • ada-wiki (⭐20) - Ada Wiki is a small library that provides a Wiki engine.
  • ada-security (⭐23) - OAuth 2.0 client and server framework to secure web applications.
  • ada-el (⭐7) - This library provides the support for a simple Expression Language close to the Java Unified Expression Language (EL).
  • ada-asf (⭐15) - 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-servlet (⭐9) - Ada Servlet allows to create web applications using the same pattern as the Java Servlet (See JSR 154, JSR 315).

• swagger-ada (⭐30) - Ada support for Swagger codegen: OpenAPI Generator is a code generator that supports generation of API client libraries, server stubs and documentation automatically given an OpenAPI Spec.

Applications / GPL (no linking exception)

• etherscope (⭐18) - Ethernet traffic monitor on a STM32F746 board.

Feb 04 - Feb 10, 2019

Specialties

• ada-composition (⭐10) - A collections of small nifty demos/sample code that may help better layout data or structure project.

Generation / GPL (no linking exception)

• automate (⭐7) - Finite-state machine generator.

Generators and Translators / GPL (no linking exception)

• j2ada (⭐4) - Translator for a Java valid source code in Ada source code.

Jan 21 - Jan 27, 2019

News and Resources

• adacore-blog - An insight into the AdaCore ecosystem.

Jan 07 - Jan 13, 2019

Machine Learning / GPL (no linking exception)

• fuzzyml - Fuzzy machine learning framework.

Patterns / GPL (no linking exception)

• ada-promises (⭐9) - Implementing promises in Ada. Type-safe, efficient, thread-safe.

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters / GPL (no linking exception)

• aforth (⭐28) - Embeddable Forth interpreter written in Ada.

Format Readers, Writers and Checkers / GPL (no linking exception)

• abf-io (⭐0) - A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada.

Multimedia / GPL (no linking exception)

• ada-3ds (⭐4) - A simple 3DS Max model renderer.

Dec 24 - Dec 30, 2018

Graphical User Interface / GPL (no linking exception)

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

Unit Test, Testing / GPL (no linking exception)

• gnatbdd (⭐7) - Behavior Driven Development in Ada.

System Modeling / GPL (no linking exception)

• ada-fuzzy (⭐3) - A fuzzy inference system library for Ada.

Dec 17 - Dec 23, 2018

Entry Point

• learn - Interactive learning platform designed to teach the Ada and SPARK programming languages.

Tutorials

• adacore-video-tutorials - AdaCore University Video Tutorials.

• simple-games - Learning Ada 2012 by writing simple games.

• spark-by-example (⭐164) - Collection of verified functions and data types in SPARK.

Questions and Answers

• stack-overflow-ada-tag - Ada at Stack Overflow.

News and Resources

• acm-sig-ada - The Special Interest Group on Ada.

Online / Apache License

• tutorials-point-ada-compiler - Online compiler built on the CodingGround engine.

Text Modes / GPL (no linking exception)

• ada-tmbundle (⭐6) - TextMate support for Ada.

Build and Package / GPL (no linking exception)

• gprbuild (⭐78) - Adacore multi-language software build tool.

• ravenadm (⭐21) - Administration tool for Ravenports http://www.ravenports.com.

• synth (⭐268) - Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools).

Continuous Integration / GPL (no linking exception)

• continuous-verification (⭐8) - SPARK formal verification automated with Travis CI.

Runtimes / GPL (no linking exception)

• bb-runtimes (⭐70) - GNAT bare metal board support package (BSP).

• avr-ada - GNAT for 8-bit AVR microcontrollers.

OS and Kernels / GPL (no linking exception)

• muen - An x86/64 Separation Kernel for High Assurance.

• ewok (⭐79) - A microkernel targeting micro-controllers and embedded systems.

Games / GPL (no linking exception)

• unity-ada-tetris - Tetris, in Ada, for the Unity game engine.

• tictactoe (⭐3) - A tictactoe game written and proven in SPARK/Ada.

• ada-gate (⭐23) - AdaGate is a first-person 3D sokoban puzzle game within a Stargate / Portal fantasy setting for Windows, OS-X and Linux.

• ada-venture (⭐18) - AdaVenture is a kid-friendly retro point&click game with mazes, dragons, bats & snakes.

• world-cup-sokerban (⭐4) - This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, Mac OS-X and GNU Linux.

Components / GPL (no linking exception)

• gnatcoll-core (⭐54) - This is the core module of the GNAT Components Collection.

• gnatcoll-bindings (⭐15) - This is the bindings module of the GNAT Components Collection.

• gnatcoll-db (⭐14) - This is the DB module of the GNAT Components Collection.

Distributed / GPL (no linking exception)

• poly-orb (⭐23) - PolyORB provides a uniform solution to build distributed applications relying either on middleware standards.

3D / GPL (no linking exception)

• ada-ogl (⭐4) - Ada OpenGL Framework.

Logging / GPL (no linking exception)

• alog - Stackable logging framework for Ada.

Verification / GPL (no linking exception)

• gnat-coverage (⭐46) - GNATcoverage is a tool to analyze and report program coverage.

• spark-2014 (⭐311) - SPARK formal verification toolset.

Generation / GPL (no linking exception)

• asn1scc (⭐0) - An open source ASN.1 generator to Ada type declarations and encoders/decoders.

• ocarina (⭐76) - AADL model processor: mappings to Ada code; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL.

• fmt - Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation.

Math / GPL (no linking exception)

• math-packages (⭐27) - Collection of basic math routines in Ada.

Algorithms, Containers and Protocols / GPL (no linking exception)

• ada-traits-containers (⭐34) - Generic Ada Library for Algorithms and Containers.

• pragmarc (⭐36) - PragmAda Reusable Components (PragmARCs) from PragmAda S/W Engineering.

• ada-id (⭐16) - Simple Ada library for generating UUIDs.

• ada-ga (⭐3) - Genetic Algorithm Implementation for Ada.

• ada-sodoku (⭐5) - Small Library for Sodoku grid solving / finding.

• sl3p (⭐1) - Simple Layer 3 Protocol.

• hungarian-algorithm (⭐2) - Hungarian Algorithm implementation in Ada.

• nb-ada (⭐13) - NBAda : An Ada library of lock-free data structures and algorithms.

Patterns / GPL (no linking exception)

• reqrep-task-pools (⭐2) - Task pool system for jobs.

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters / GPL (no linking exception)

• gela (⭐0) - Ada code analyzer.

• anagram (⭐5) - Grammar handling and parser generation Ada library.

• ada-pretty (⭐5) - Pretty printing library for Ada.

• increment (⭐4) - Incremental analysis in Ada.

• parse-args (⭐12) - Simple command-line argument parsing.

Format Readers, Writers and Checkers / GPL (no linking exception)

• ada-yaml (⭐46) - Experimental YAML 1.3 implementation in Ada.

• json-ada (⭐46) - An Ada 2012 library for parsing JSON.

• jwx (⭐20) - A formally verified JSON library in SPARK.

• xmlada (⭐29) - The XML/Ada toolkit.

• spark-xml (⭐24) - A formally verified XML library in SPARK.

• ada-midi (⭐6) - Implementation of Midi / MidiFile reading and writing.

• ada-bin2asc (⭐1) - Various binary-to-ASCII codecs such as Base64.

Networking and Communication Middleware / GPL (no linking exception)

• adhcp - Implementation of the DHCP protocol in Ada.

Graphics and Multimedia / GPL (no linking exception)

• opengl-ada (⭐105) - Thick Ada binding for OpenGL and GLFW.

Sound / GPL (no linking exception)

• ada-synthetizer (⭐20) - Sound Synthetizer Library implemented in Ada.

Utilities / GPL (no linking exception)

• auto-counters (⭐9) - Reference counting approaches to resource management.

Frameworks / GPL (no linking exception)

• robotics-with-ada (⭐17) - Robotics with Ada, ARM, and Lego.

Firmwares / GPL (no linking exception)

• certiflie (⭐35) - Source code for the full Ada + SPARK Crazyflie 2.0 firmware.

Drivers / GPL (no linking exception)

• ada-drivers-library (⭐282) - Ada drivers for various MCU and sensors.

• dw1000 (⭐14) - Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip.

• evb1000 (⭐0) - Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board.

Controllers / GPL (no linking exception)

• solenoid-engine-controller (⭐5) - Software controller for solenoid engines (Ada/STM32F4).

Libraries / GPL (no linking exception)

• giza (⭐7) - This library is trying to be a simple widget tool kit for embedded platforms.

• geste (⭐19) - Sprite and tile 2D render engine designed to run on micro-controllers.

Applications / GPL (no linking exception)

• coffee-clock (⭐7) - Waking up with a fresh cup of coffee.

• noise-nugget (⭐17) - Square Inch Synthesizer.

• spark-railway-demo (⭐7) - Simulated railway network in SPARK/Ada.

• wee-noise-maker (⭐37) - Wee Noise Maker is an open source pocket synthesizer.

• lunar-lander-rotation (⭐2) - Program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer.

Mail / GPL (no linking exception)

• trash-finder - 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.

Automation / GPL (no linking exception)

• acnc (⭐65) - A G-code parser and CNC controller (in Ada).

Simulation / GPL (no linking exception)

• parallel-sim (⭐1) - Distributed Simulation of Transport Networks.

Generators and Translators / GPL (no linking exception)

• adabrowse - HTML generator for Ada95 library unit specs.

• tiled-code-gen (⭐3) - Code generator for Tiled the map editor.

Dec 10 - Dec 16, 2018

Online / Apache License

• jdoodle-ada-compiler - Online compiler that provides multiple versions of GNAT to test with.

OS and Kernels / GPL (no linking exception)

• marte-os - 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.

Components / GPL (no linking exception)

• gnatcoll-json (⭐9) - This is a set of helpers for writing JSON-intefaces it contains JSON parses for most of the Ada runtime components.

Dec 03 - Dec 09, 2018

Applications / GPL (no linking exception)

• railway-simulation (⭐5) - Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide.

Generators / GPL (no linking exception)

• svd2ada (⭐71) - An Ada binding generator from SVD descriptions for bare board ARM devices.

Oct 22 - Oct 28, 2018

Web / GPL (no linking exception)

• aws (⭐158) - Ada Web Server is a complete framework to develop Web based applications in Ada.

Algorithms, Containers and Protocols / GPL (no linking exception)

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

Networking and Communication Middleware / GPL (no linking exception)

• anet - Networking library for the Ada programming language.