Ada

125 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 2 years ago
MODERATORS
ada@programming.dev
listing: all - local
101
1
Ironclad - an OS kernel in Ada (ironclad.nongnu.org)
submitted 2 years ago by ada@programming.dev to c/ada@programming.dev
0 comments fedilink
 
 

Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user's freedom.

Some of the supported features are:

  • A familiar POSIX-compatible interface.
  • True simultaneous preemptive multitasking.
  • Advanced cryptography and a security-centered architecture.
  • Mandatory Access Control (MAC).
  • Highly configurable, hard real-time scheduling.
  • Support for several architectures and boards.

Today (4 Nov 2023) at 14:00 UTC the author will preset it on Ada Monthly Meetup!

102
1
๐Ÿ† Ada/SPARK Crate of the Year Award 2023: Only Two Months Left to Submit! (blog.adacore.com)
submitted 2 years ago by ada@programming.dev to c/ada@programming.dev
0 comments fedilink
 
 

Hey Ada/SPARK enthusiasts! Just a quick reminder: there are only two months left to submit your entries for the Ada/SPARK Crate of the Year Award 2023. Get your crates into the Alire community index by the end of the year to stand a chance to win $2,000! ๐Ÿš€๐Ÿ…๐Ÿ’ฐ

103
1
Ada 2022: New Standard Completed and Call for Contributions! (programming.dev)
submitted 2 years ago by ada@programming.dev to c/ada@programming.dev
0 comments fedilink
 
 

This year, the new Ada language standard was released. Ada-auth.org has published the final text and transitioned to drafting Ada 202Y. You can participate by sharing ideas via email, filling out the Google form, or opening an issue on GitHub.

104
1
Ada Monthly Meeting in November (forum.ada-lang.io)
submitted 2 years ago by ada@programming.dev to c/ada@programming.dev
0 comments fedilink
 
 

Hello Ada enthusiasts!

I'm excited to announce the November Ada Monthly Meetup, scheduled for the 4th of November at 14:00 UTC time (15:00 CET). We will be gathering online once again, continuing our tradition of monthly virtual meetups. This time, we're meeting on Jitsi.

As always, our meetups are a great opportunity to connect with fellow Ada enthusiasts, share ideas, and learn from each other. If you have any topics or talks you'd like to propose, feel free to do so! We're open to discussions on a wide range of Ada-related subjects.

I'm also thrilled to share that Streaksu, the talented creator of the Ironclad kernel, has generously volunteered to give an introductory talk and demonstration of the OS. It's a fantastic chance to dive into the intricacies of this innovative creation.

Let's come together and make this meetup even more engaging and insightful. Looking forward to seeing you all there! ๐Ÿš€

Best regards