@adaprogrammers

Write in Ada, make better software! https://xitter.cf/t.co/0OdLbtrYZ6 Account maintained by some people from @AdaCoreCompany. #MakewithAda

alire.ada.dev
Joined April 2016
  • Tweets739
  • Following488
  • Followers1K
Can't think of a better way to end the conference than a boat tour 😀 #AEiC2022
2
1
8
The amount of Javascript files on GitHub is skyrocketing. Only 5% is original, the rest is duplication.
1
1
2
6
Third day at the #AEiC2022, very interesting presentation on code duplication in GitHub by Crista Lopes @UCIrvine
1
1
3
Automatic pattern based refactoring of Ada code with Renaissance-Ada github.com/TNO/Renaissance-A…
1
4
It's a HAC! @Zertovitch github.com/zertovitch/hac
2
1
3
@JeremyGrosser running GNATcov coverage analysis on a Cortex-M microcontroller 😎
1
2
Second day at #AEiC2022
1
1
7
Alejandro Mosteo (@mosteobotic) and Fabien Chouteau (@DesChips) with: The Alire package manager for Ada and SPARK alire.ada.dev
2
1
9
This afternoon we have Gautier de Montmollin (@Zertovitch): The HAC Compiler github.com/zertovitch/hac
2
1
7
And Jean-Pierre Rosen from Adalog: Numerics for the Non-Numerical Analyst
1
1
5
Load more