-
Opportunity to push/promote Ada coming soon
forum.ada-lang.io Opportunity to push/promote Ada coming soon (Can this be pinned?)Hi, There is a good chance to push and promote Ada in the area of game development coming up, but is SDL specific. The official SDL Discord (SDL Enthusiasts) are having a Game jam if anyone wants to enter. You must use SDL1, 2 or 3 (no other drawing libs allowed apparently, so no gl, vulkan, meta...
-
from Irvise: The deadline has already passed by a long shot, but it seems that one can still do so. Also, do not forget to share it with other (Ada) programmers!
-
Ada Monthly Meeting May 2024
forum.ada-lang.io Ada Monthly MeetingThank 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...
-
GetAda has been released!
GetAda has been released!
Getada installs Alire on Mac and Linux and adds it to PATH. You can use a one-liner copy-paste terminal command to install #Ada and get to coding in just a few minutes https://www.getada.dev
More details on Hacker News: https://readhacker.news/c/66xjx
- gautiersblog.blogspot.com Benchmarking the Generic Image Decoder (GID)
( TL;DR ? Then jump to the two tables below! ) We are happy to announce version 13 of the Generic Image Decoder (GID). GID is an open-sourc...
- forum.ada-lang.io Making a game in Ada with Raylib
The Twitch streamer Tsoding has been learning Ada over the last week by building a game with the raylib graphics library. It’s been fun to watch, albeit a bit frustrating when he only skims the documentation then claims it doesn’t answer his question. Day 1 Day 2 Day 3 Day 4 Day 5 Day 6 Day ...
-
April 2024 What Are You Working On?
Welcome to the monthly What Are You Working On? Post.
Share here what you've worked on during the last month. Anything goes: concepts, change logs, articles, videos, code, commercial products, etc, so long as it's related to Ada. From snippets to theses, from text to video, feel free to let us know what you've done or have ongoing. Please stay on the topic of Ada programming language.
-
March 2024 monthly meet up discussed topics
forum.ada-lang.io Ada Monthly MeetingThe March 2024 Meetup just finished! Thanks to everybody who participated. Quite a few topics were discussed, here is a list of topics and references to them: WolfSSL and its Ada binding Announcement Initial commit, SPARK included! Build as a library, PR currently open WolfSSL created the bindin...
- forum.ada-lang.io Lightweight Parallelism library based on Ada 2022 features
A full implementation of the parallel features of Ada 2022 is yet to be released. In the meantime, here is a light-weight-threading library that provides essentially all of the parallel features of Ada 2022, using various generics, etc. Scheduling is provided using a plug-in architecture. If no sche...
-
Getting Started With Ada by Way of Rust
coniferproductions.com Getting Started With Ada by Way of Rust | Conifer ProductionsGetting Started With Ada By Way of Rust
-
Introduction to Embedded Systems Programming
learn.adacore.com “learn.adacore.com"An interactive learning platform to teach the Ada and SPARK programming languages.
-
Hacking the Linux kernel in Ada
For this three part series, we implemented a ‘pedal to the metal’ GPIO driven, flashing of a LED, in the context of a Linux kernel module for the NVIDIA Jetson Nano development board
-
AURA: The Ada User Repository Annex
aura-docs.readthedocs.io AURA: Ada User Repository Annex — Ada User Repository Annex documentationAURA Reference Implementation Documentation
AURA is a proposed specification for a native Ada source code package management system, developed in lock-step with a reference implementation. This links to the documentation (from where the Github project and such can be easily found).
-
When NVIDIA hired hackers to test the security of one of their applications written in SPARK / Ada for a Risk-V chip, they found a vulnerability in the RISC-V IVA instead!
Formal proof triumphs. Read the full story
-
AdaCore Technologies for Cyber Security
www.adacore.com AdaCore Technologies for CybersecurityThis book is intended for those who are involved with software at any level who would like to learn how to address software and security challenges.
-
C++ versus Ada for safety critical software (I)
craftofcoding.wordpress.com C++ versus Ada for safety critical software (i)Safety critical software is incredibly important for systems designed for applications such as aerospace, rail transportation, power stations and the like. This the F-35 hey, built largely in C++. …
-
Ada/SPARK drone SW (In Russian)
habr.com Как мы верифицированный полетный контроллер для квадрокоптера написали. На AdaОднажды на новогодних каникулах, лениво листая интернет, бракоделы в нашем* R&D офисе заметили видео с испытаний прототипа роботакси. Комментатор отзывался восторженным тоном – революция,...
-
awesome Ada list
github.com GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming languageA curated list of awesome resources related to the Ada and SPARK programming language - GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming la...
-
Ada Web Application version 2.2.0
blog.vacs.fr AWA 2.2.0Ada Web Application (https://github.com/stcarrez/ada-awa) is a framework to build high performance secure web applications. This is a new release with 99 Debian packages ready to be installed on Ubun
- blog.adacore.com First beta release of Alire, the package manager for Ada/SPARK
First beta release of Alire, the package manager for Ada/SPARK
- forward-in-code.blogspot.com Developing for Cortex MCUs on a Raspberry Pi
Recently, on the Gitter Ada Programming Language lobby, there have been discussions on cross-compiling for Cortex M micro-controllers, spec...
-
Giving Ada a chance
An in-depth look at the Ada programming language, its history, and what it has to offer developers today. As well as a fistful of my humble opinions.
-
A template repo
github.com GitHub - reznikmm/template: A template repo for Ada projectsA template repo for Ada projects. Contribute to reznikmm/template development by creating an account on GitHub.
Time to time I create a new Ada repo on GitHub. Till today I wrote them from the scratch each time, copy/pasting some pieces from others my projects. It appears to take time. So I decided to create a template repo, keep it up to date and update when I find something good to be reused.
For now it has a README template, a pair of project files (for a library and an executable), REUSE compliant license headers, GitHub Actions script, COPR scripts to create Fedora RPMs.
Feel free to take it as a template for your project (change all as you need including license) or share your ideas.
-
Video FOSDEM 2021: Proving heap-manipulating programs with SPARK
YouTube Video
Click to view this content.
-
FOSDEM 2021: Adding contracts to the Ada standard libraries
YouTube Video
Click to view this content.
- blog.adacore.com Doubling the Performance of SPARKNaCl (again...)
by Roderick Chapman – Feb 19, 2021. Following my last blog entry, further experiments show how the performance of SPARKNaCl can be doubled (again), plus analysis of worst-case stack usage and code size at all optimization levels.
- craftofcoding.wordpress.com Coding Ada: strings (iv) – unbounded to string
As mentioned before, strings in Ada can be tricky. Normal strings are fixed in length, and Ada is very stringent about this. Consider a piece of code like this: with ada.Text_IO; use Ada.Text_IO; w…
- blog.adacore.com CuBit: A General-Purpose Operating System in SPARK/Ada
by Jon Andrew – Jun 10, 2020. Last year, I started evaluating programming languages for a formally-verified operating system. I've been developing software for a while, but only recently began work in high integrity software development and formal methods. There are several operating system…
-
The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK
www.embeddedcomputing.com The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK - Embedded Computing DesignAs part of the Linux Security Summit Europe last October, I participated in a panel around the question, “Would Abandoning the C Language Really Help?”. C, which is the main language used in the Linux kernel, is notorious for having an endless source of vulnerabilities. Just look at the ...