#AdaProgramming

Build safer software with the Ada & SPARK programming languages. @AdaCoreCompany tools support RISC-V and you can see for yourself with the latest release of its community development environment. Download here – #Adaprogramming

The Future is Bright for Ada/SPARK with Alire! ✨Congratulations to the winners of our new programming competition 👏. They demonstrated inventiveness using the Ada Library Repository, Ada & SPARK. Check out the winners here - #Adaprogramming #opensource

#AdaBelgium members and friends meet on June 1 in #Leuven for our traditional #AdaProgramming Spring Event!

. @AdaCoreCompany is giving $9,000 USD in prizes for its 5th Annual Make with Ada programming competition, which encourages embedded programming in Ada & SPARK. Register today: #Adaprogramming

Ada-France sera présent au salon @OSXP_Paris les 9 et 10 décembre prochain. Venez nombreux et nous vous partagerons pourquoi nous aimons bien ce langage (mais les autres aussi!) #adaprogramming

Learn the programming language designed for safe & secure software development with our free course 'Introduction to Ada'. For those with a basic understanding of programming techniques, you'll learn how to apply these to #Adaprogramming. Start today!

The #MakewithAda 2020/21 contest is now open so it's a great time to look back at the winning projects from last year! @DrJohnZoidberg's LoRaDa project combines 6 different #SoCs as a LoRa network. Check out his impressive project log here #Adaprogramming

Interested in video game development with Ada? Check out Part 2 of the Ada GameDev blog post series by @DesChips ! #gamedev #gamedevelopment #adaprogramming

Today is #AdaLovelaceDay, a celebration of Ada Lovelace, Grace Hopper, Adele Goldberg, and the countless women who gave us computing as we know it. #PioneerOfProgramming #AdaProgramming #womenintech #womeninSTEM

As a member of the RISC-V Foundation, @AdaCoreCompany brings Ada & SPARK to the #RISCV ecosystem. You can find out more about these programming languages & the benefits they bring via the company’s online library of free books and papers #Adaprogramming

Join us today at the @risc_v Day Tokyo 2020! We are very happy to continue bringing the Ada & SPARK programming languages to the forefront of the technologies available to RISC-V developers. @riscv_a #Adaprogramming #riscv_day

Join us in evolving the #Ada and #SPARK programming languages! We've set up a platform to collect, discuss and process language evolution proposals - #Adaprogramming

Our very own Michael Frank shows us how he learned to program in #SPARK using the #ConwayGameOfLife algorithmic model - #Adaprogramming #SPARKprogramming #formalverification

When did you last look at Ada? Check out this thought-provoking blog post by Chris Hobbs, a reluctant Ada user who was asked this same question and for whom Ada is now his language of choice. #Adaprogramming #programminglanguage

In this fifth part of the Ada for #microbit series, we will see how to write an analog value to a pin! Read the full blog post: @microbit_edu #Adaprogramming #embeddedprogramming #embeddedsoftware

Check out our latest blog 'From Ada to Platinum SPARK: A Case Study for Reusable Bounded Stacks' for a deep dive into migrating to SPARK! #Adaprogramming #SPARKprogramming #FormalMethods

Version 1.6 of Aflex, the lexical analyzer, and version 1.4 of Ayacc, the Ada parser generator provide numerous improvements. See how to enable the reentrant mode for your scanner&parser #adaprogramming

Ahead of launching #MakewithAda 2020/21, we'll be looking back at last year's competition winners. First up is John Singleton's The Smartbase - an #IoT adjustable bed for comfort & safety. Formal methods meets innovation! #Adaprogramming #SPARKAda -

We are happy to announce that the #GNATCommunity 2020 release is now available to download! Check out the blog for this year's release highlights - @adaprogrammers #Adaprogramming #SPARKAda #embeddedprogramming

📣 Announcing the availability of Labs - These exercises are complementary to the Introduction to Ada course & are a perfect way to test your progress in learning how to program in Ada. All site content is downloadable for offline reading. #Adaprogramming