home.social

#makewithada — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #makewithada, aggregated by home.social.

fetched live
  1. 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.

    github.com/AdaCore/Ada-SPARK-C

  2. with Ada.Text_IO;

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

  3. RT @[email protected]

    Check out the results from the latest #MakewithAda competition that pitted Ada and SPARK applications from multiple contenders. 👉 bit.ly/39xJiTd 👈 @[email protected] #programming

    🐦🔗: twitter.com/ElectronicDesgn/st

  4. 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 hackster.io/contests/adacore3 and don't forget to submit your project before January 31st! @[email protected] @[email protected] #Adaprogramming #Embeddedsoftware

    🐦🔗: twitter.com/AdaCoreCompany/sta

  5. 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!
    blog.adacore.com/make-with-ada
    #Adaprogramming

    🐦🔗: twitter.com/AdaCoreCompany/sta