Jay 🚩 May 12, 2024

#MakewithAda @AdaProgrammers

https://forum.ada-lang.io/t/ada-monthly-meeting/384/54

Ada Monthly Meeting

Thank you all for the meetup and specially to @AJ-Ianozi for his presentation on GetAda! Here are the main topics and links that were discussed: GetAda The HN thread about GetAda The list of talks that will be presented during the Ada Developer Workshop The early-bird registration deadline for the conference (AEiC 2024) is ending on the 20th of May GCC 14 was released with improvements to Ada and SPARK Ada-Spain technical day is taking place on the 17th of May A couple of articles about Ad...

Ada Forum
Ada ProgrammersNov 7, 2022

Submissions for the Ada, SPARK and embedded Alire crates of the year are open until December 31st. Doesn't have to be a project you started in 2022, any project in the Alire ecosystem can participate.

https://github.com/AdaCore/Ada-SPARK-Crate-Of-The-Year

#Ada #SPARK #MakewithAda #CrateOfTheYear

Ada ProgrammersNov 7, 2022

with Ada.Text_IO;

procedure Hello is
begin
Ada.Text_IO.Put_Line ("Toot!");
end Hello;

#Ada #SPARK #MakewithAda

Bartek JasickiApr 2, 2021

RT @[email protected]

Check out the results from the latest #MakewithAda competition that pitted Ada and SPARK applications from multiple contenders. πŸ‘‰ http://bit.ly/39xJiTd πŸ‘ˆ @[email protected] #programming

πŸ¦πŸ”—: https://twitter.com/ElectronicDesgn/status/1377720452886507522

StackPath

Bartek JasickiJan 26, 2021

RT @[email protected]

The #MakeWithAda competition 2020/2021 is getting to an end! Don't forget to submit your projects before January 31st at https://www.hackster.io/contests/adacore
@[email protected] @[email protected] #Adaprogramming

πŸ¦πŸ”—: https://twitter.com/AdaCoreCompany/status/1354003915730280449

Make with Ada

Build software that matters. With AdaCore.

xameerJan 18, 2021
I just registered to the Make with Ada competition! You should too! #hacksterio #MakewithAda #Adaprogramming @[email protected] @[email protected] https://www.hackster.io/contests/adacore3
Make with Ada

Build something cool using Ada and SPARK! With AdaCore.

Bartek JasickiJan 11, 2021

RT @[email protected]

We're now in the last month of the #MakewithAda competition with over $9,000 in total prizes up for grabs! You can register at https://www.hackster.io/contests/adacore3 and don't forget to submit your project before January 31st! @[email protected] @[email protected] #Adaprogramming #Embeddedsoftware

πŸ¦πŸ”—: https://twitter.com/AdaCoreCompany/status/1348616060145164288

Make with Ada

Build something cool using Ada and SPARK! With AdaCore.

Bartek JasickiDec 7, 2020

RT @[email protected]

The #MakewithAda 2020/21 contest is still open and it's a great time to look back at some winning projects from previous years! Last year the ADArrose project, an automated sprinkler won the student prize. Check it out!
https://blog.adacore.com/make-with-ada-2020-adarrose
#Adaprogramming

πŸ¦πŸ”—: https://twitter.com/AdaCoreCompany/status/1335934476984197120

Make with Ada 2020: ADArrose

Make with Ada 2020: ADArrose

Bartek JasickiAug 12, 2020

RT @[email protected]

The #MakewithAda 2020/21 contest is now open so it's a great time to look back at the winning projects from last year! @[email protected]'s LoRaDa project combines 6 different #SoCs as a LoRa network. Check out his impressive project log here https://blog.adacore.com/make-with-ada-2020-lorada-ada-lora #Adaprogramming

πŸ¦πŸ”—: https://twitter.com/AdaCoreCompany/status/1293536041924788226

Make with Ada 2020: LoRaDa := Ada LoRa;

by Emma Adby – Aug 12, 2020. Hedley Rainnie's project combines 6 different SoCs all programmed in Ada performing as a LoRa network. He also showcases a BLE bridge to a LoRa server. His project came about when him and his wife were musing about how to detect and deter unwanted garden visitors. This…

Bartek JasickiJul 9, 2020

RT @[email protected]

Ahead of launching #MakewithAda 2020/21, we're looking back at last year's competition winners. This week we have Shahariar's Disaster Management project with a Smart Circuit Breaker! #Adaprogramming #embeddedprogramming https://blog.adacore.com/make-with-ada-2020-disaster-management-smart-circuit-breaker

πŸ¦πŸ”—: https://twitter.com/AdaCoreCompany/status/1281232700645478402

Make with Ada 2020: Disaster Management with Smart Circuit Breaker - The AdaCore Blog