#adaprogramming

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

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

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

. @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

New release of #TeamSky, a #roguelike game written in the #AdaProgramming language.

John Barnes' latest book on the #AdaProgramming language highlighted by @Iprogrammerinfo #Ada2022

Programming in Ada 2022 (@CambridgeUP) by John Barnes, a founder member of the Ada design team, is today's selection by @bookwatchiprog.

We are sponsors of the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021) which will be held online from the 7th to the 10th of June, 2021. Register today: #Adaprogramming

We are happy to announce that the GNAT Community 2021 release is now available! Check out the release highlights and new features: #Adaprogramming

🥁 one of the #MakewithAda finalist prizes of $600 goes to Shahariar for their project Disaster Management with Smart Circuit Breaker! Congratulations! #Adaprogramming #embeddedprogramming @Hacksterio

Calling all UK-based programmers 📣 we're looking for a Junior Software Engineer to work out of our new Bristol office! Knowledge of one object-oriented language required, more info here - #Adaprogramming #softwaredevelopment #swtechjobs @swtechjobs

Interested in video game development with Ada? Check out Part 2 of the Ada GameDev blog post series by @DesChips ! #gamedev #gamedevelopment #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!

Are you or your team looking to brush up on your #Adaprogramming skills? Our upcoming Online Public Ada Training will teach participants how to use Ada for both sequential and concurrent applications! US: Sep 27-Oct 1, 2021 EU: Oct 11-15, 2021

Check out part 8 of our Ada for the micro:bit blog series by @DesChips, where we will see how to play some simple music with the micro:bit and a piezo buzzer. @microbit_edu #embeddedsoftware #Adaprogramming

Did you know that Ada & SPARK support the BBC #microbit? Making it easy for anyone to get started with these programming languages! Check out part 1 of our Ada for the micro:bit series- @microbit_edu #NationalCodingWeek #Adaprogramming #embeddedprogramming

The Ada and SPARK programming languages support the BBC micro:bit! Check out part 6 of our weekly Ada for the #microbit series, where we will see how to read the analog value of a pin. @microbit_edu #Adaprogramming #embeddedprogramming #embeddedsoftware

.@LASPatCU selected the #Adaprogramming language & AdaCore’s GNAT Pro development environment to implement the command & data handling system for the @NASA-directed CLARREO Pathfinder Reflected Solar mission. #SpaceSoftware @TechBriefsMag

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

Getting ready for a day of #AdaProgramming language tutorials at the 28th #AdaEurope International Conference on Reliable Software Technologies #AEiC2024 in #Barcelona, #Spain!

Do you want to develop Ada/SPARK drivers for a micro-controller? Here are some instructions to get you started using the Alire ecosystem: #adaprogramming #softwaredevelopment