• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Blog Jun 14 '22

    Free tools and libraries updates

    by brukardt
    Here are some recent updates to our Free Tools and Libraries page:

    June 14, 2022: Added Alire, a sandbox package manager for Ada, and an associated catalog.
    October 14, 2021: Added Adare_Net, a small, portable and easy to use Ada network library.
    June 14, 2021: Added Portable OpenAL Sound, a minimal library interfacing to OpenAL Sound to provide the capabilities of playing sound files on many platforms.
    Added ARE (Advanced Resource Embedder), a tool which can generate Ada code to embed a file (image, script, etc) in an Ada executable.
    (This post will be periodically updated – Webmaster.)
    Read Blog Entry
  • Blog Dec 15 '17

    Dr. Peter Chapin (Vermont Technical Coll...

    by brukardt

    The ARA congratulates Dr. Peter Chapin on his receipt of ACM SIGAda’s Robert Dewar Award, which acknowledges outstanding contributions to the Ada community. Dr. Chapin was a major contributor to the Vermont Tech Lunar CubeSat project (cubesatlab.org) whose software was written in SPARK/Ada. The Vermont Tech CubeSat was launched in November 2013 and successfully completed its full two-year mission, the only one out of twelve academic CubeSats to do so. Dr. Chapin attributes the software’s reliability in large part to the SPARK/Ada technology, which was used to prove the absence of run-time errors.

    Dr. Chapin is now coordinating the work on CubedOS, a SPARK/Ada implementation of a software framework for small spacecraft, with plans to release the result as an open-source project. Other groups will thus have access to a high-integrity software base for their CubeSats, which currently have a very high failure rate.

    Dr. Chapin is the co-author, along with Prof. John McCormick, of “Building High Intergrity Applications with SPARK”, a student-oriented textbook on SPARK 2014.

    Read Blog Entry
  • Blog May 5 '15

    Learning websites recently added

    by brukardt

    We’ve recently added seven websites to our Learning Materials pages:

    • GetAdaNow.com – Get Ada Now provides a quick start to acquiring and installing a free Ada development system.
    • Ada.tips – Provides tips on using Ada.
    • Adaformicrocontrollers.com – A forum providing questions and answers on using Ada on microcontrollers.
    • LearnAdaNow.com – Learn Ada Now is dedicated to learning to write software in Ada.
    • Ada – A Crash Course by Peter Chapin is an (under construction) Ada 2012 tutorial with examples.
    • Ada on ARM Cortex-M – This is a tutorial dedicated to teaching how to use Ada to program an embedded system, with the specific example of the Arduino Due board.
    • AdaCore University – This site provides a series of courses on Ada and related technology.
    Read Blog Entry
  • Blog Apr 8 '13

    Ada inflitrates strongSwan

    by brukardt

    The popular strongSwan open source IPsec VPN project now makes use of Ada.

    The latest strongSwan release 5.0.3 [1] contains support for the Trusted Key Manager (TKM), which is a separate process providing security critical operations of the IKEv2 protocol. The TKM has been implemented from scratch in Ada, using some of the new Ada 2012 contract features for added confidence of meeting the specification.

    For more, see the project website at http://www.codelabs.ch/tkm/.

    Read Blog Entry
  • Blog Mar 9 '13

    Site updates

    by brukardt
    There recently have been some questions about how often the pages here are updated. We try to verify the information on the pages at least twice per year, and of course we add information as it becomes available. For instance, today we added a couple of free libraries (OpenGLAda and Yami4) that we had previously unintentionally left out. If you find any stale information on our site, please use the contact page to tell us about it.
    Read Blog Entry
  • Blog Dec 10 '12

    Corporate BS Generator

    by brukardt
    This has been available for a while, but I don’t think we ever featured it here. CBSG is an Ada program that creates pages of the best (random and usually meaningless) corporate-speak available. It can be accessed on-line at CBSG and the source code is available.
    Read Blog Entry
  • Blog Jun 16 '11

    GNAT GPL 2011 now available!

    by AdaCore

    GNAT GPL 2011, the integrated Ada, C, and C++ toolset for Academic users and FLOSS developers is now available for download. This new edition provides many new features and enhancements in all areas of the technology. The most notable ones are:

    – Improved support for Ada 2012
    – Enhanced versions of tools
    – GPS 5.0 enhanced IDE (improved support for C/C++, more powerful source editing, better usability, ….)
    – GtkAda (new widgets, interface to the Cairo graphics library)
    – More flexible and more efficient project manager tool
    – Support for unloading Ada plug-ins
    – Improved support for Ada constructs on the .NET platform
    – More detailed exception messages (-gnateE switch)
    – Complete support for Lego MINDSTORMS hardware, including audio and I2C sensors

    GNAT GPL 2011 comes with version 5.0.1 of the GNAT Programming Studio IDE and GNATbench 2.5.1, the GNAT plug-in for Eclipse.

    To download, please visit http://libre.adacore.com/libre/download.

    Read Blog Entry
  • Blog Mar 17 '11

    DragonLace.Net added to free tools and l...

    by jayre

    We’ve just added DragonLace.Net to the free tools and libraries resource page.

    Over the last year, John Marino has developed a substantial set of patches and now GNAT from GCC-4.6 passes the entire ACATS and gnat.dg testsuite without failure on FreeBSD, DragonFlyBSD, and NetBSD on both the AMD64 and i386 platforms. The version is called “GNAT-AUX” and it also builds on OpenBSD with only a single failure the same two platforms.

    For more info: http://www.dragonlace.net/

    Read Blog Entry
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
AdaCore View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2023 Ada Resource Association Site Map | Contact Us