Ada

85 readers
1 users here now

A community about the programming language, Ada.

About Ada Language

Ada is a modern, high-level programming language designed for developing reliable, efficient, and maintainable software systems. It was developed by the U.S. Department of Defense and is widely used in safety-critical and mission-critical applications. This community is dedicated to all things related to Ada, including discussions, tutorials, news, and projects.

Rules:

  1. Be respectful: Treat fellow community members with kindness and respect. Personal attacks, harassment, or any form of discrimination will not be tolerated.
  2. Stay on topic: Keep discussions focused on Ada language-related topics. Off-topic posts may be removed.
  3. No spam or self-promotion: Avoid excessive self-promotion or spamming of external links. Share relevant content and engage in meaningful discussions.
  4. Provide helpful and constructive feedback: When offering feedback on code or projects, be constructive and supportive. Help others learn and grow.
  5. Follow the instance wide rules.

founded 1 year ago
MODERATORS
ada
1
1
AdaCore: 25 Release Notes (www.adacore.com)
submitted 2 weeks ago by ada to c/ada
2
5
submitted 3 weeks ago by ada to c/ada
3
4
submitted 1 month ago by ada to c/ada
4
5
2
submitted 1 month ago by ada to c/ada
6
4
submitted 1 month ago by ada to c/ada
7
3
submitted 1 month ago by ada to c/ada
8
4
submitted 1 month ago by ada to c/ada
 
 

I am very happy to see that Streaksu applied for a grant and was accepted. This is what I want to see more of in the community. People creating very cool projects that they enjoy working on. Then promoting them and seeing if they can make the development of such projects a little bit more sustainable for themselves. This also disproves that “Ada projects” are not liked or as seen as old by foundations or other funding groups.

I am very happy for Streaksu and I hope to test Ironclad in a RISC-V board soon!

9
10
11
12
13
2
submitted 2 months ago by ada to c/ada
 
 

We just finished the Ada Monthly Meetup and here are the topics that were discussed:

  • The recording of the presentations given during the Ada Developers Workshop 1 with their slides are now available
  • Stemming from (@jgrivera67) J. German Rivera’s talk about HiRTOS and him working the Renode hardware emulation tool, @ohenley did a nice article about getting started with Renode and Ada programs! Check it out!
  • And actually, since the last stable version of Renode, v1.15.2, released 3 weeks ago, there is a built-in demo/example of HiRTOS!
  • @simonjwright created a PR for SVD2Ada for it to support dimensioned register ports!
  • @Max has been working on creating an Ada toolchain for the XTENSA architecture. It is now officially part of Alire! Check the forum post for more info.
  • A reminder that the Ada Crate of the Year Award is still taking place!
  • We had a discussion on whether there should be a proposal for an Ada Devroom for next year’s FOSDEM.
  • There will be a forum thread about this topic “shortly”.
  • With the “demise” of SIGAda, the proposal of the creation of the Ada Users Society is moving along, which was approved in the General Assembly (GA) of Ada-Europe this past month of June.
  • The next GA of Ada-Europe will be taking place in a couple of weeks, the next 26th of September. Remember to ask for the meetup link if you would like to join!
  • We had a couple of discussions during the meetup and afterwards regarding some doubts and timeline/availability of the new Ada Users Society.
  • A complete working Alire manifest has been created for the WolfSSL library 2.
  • Though it is not in Alire’s index! It still needs some work, but you can already start using it!
  • @stcarrez and @Max have been working on Ada-Enet, an embedded network stack written in Ada.
  • It is now available in Alire and it has a few STM32 drivers already!
  • @Max also has an ethernet stack written in Ada, which has also been added ot Alire
  • @simonjwright updated us on the state (and struggles) of the Ada support on the newly released RP 2350 CPU 1.
  • Progress is good and small examples are already running on the chip. Interrupts are still a problem to be solved :slight_smile:
  • @AJ-Ianozi reminded us about the latest Yet Another Static Site (Generator) and its features, which recently had its 3.1.0 release

That is all that was discussed today!

14
15
16
3
submitted 4 months ago by ada to c/ada
17
3
submitted 4 months ago by ada to c/ada
18
2
submitted 5 months ago by ada to c/ada
19
2
submitted 5 months ago by ada to c/ada
 
 

The competition has three prizes of $2,000 each!

20
2
Alire on Open Collective 💸 (opencollective.com)
submitted 5 months ago by ada to c/ada
 
 

Just came across a donation site for the Alire project.

Contributing to the Ada open source ecosystem through the Alire package manager for Ada/SPARK

21
4
submitted 5 months ago by ada to c/ada
 
 

Online participation in the Ada Developers Workshop will be free of charge! It is still a requirement to register. As a reminder, the Workshop's programe has been available for a while, so go ahead an take a look! 🤩

22
5
submitted 5 months ago by ada to c/ada
 
 

GNAT FSF 14 is now available in a special index branch. Use this command to add the index branch:

alr index "--add=git+https://github.com/alire-project/alire-index#gnat-fsf-14.1" --name=gnat_fsf_14 --before=community

And then alr index --del=gnat_fsf_14 to remove it once your done playing with it.

If you have some time to give it a try and give me some feedback that would be great 👍️

#gcc #alire

23
24
6
Ada Developers Workshop (people.cs.kuleuven.be)
submitted 6 months ago by ada to c/ada
 
 

The list of presentations looks great!

25
view more: next ›