Hacker News
- 'Make with Ada' Programming Competition -- With Cash Prizes http://www.makewithada.org/ 5 comments programming
- 'Make with Ada' Programming Competition (with cash prizes!) http://www.makewithada.org/ 5 comments ada
Linking pages
- GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming language https://github.com/ohenley/awesome-ada 28 comments
- Ada programmers: Fabien Chouteau | Tomek Wałkuski https://tomekw.com/ada-programmers-fabien-chouteau/ 13 comments
- Ada 2012 Rationale | AdaCore http://www.adacore.com/knowledge/technical-papers/ada-2012-rationale/ 10 comments
- Ada for the C++ or Java Developer | AdaCore http://www.adacore.com/knowledge/technical-papers/ada-for-the-c-or-java-developer/#sthash.y0abilst.sfju 10 comments
- AdaCore’s Fifth Annual Make with Ada Programming… | AdaCore https://www.adacore.com/press/5th-annual-make-with-ada-competition 9 comments
- Safe Dynamic Memory Management in Ada and SPARK | AdaCore https://www.adacore.com/papers/safe-dynamic-memory-management-in-ada-and-spark 6 comments
- Recursive Data Structures in SPARK | AdaCore https://www.adacore.com/papers/recursive-data-structures-in-spark 4 comments
- Making an RC Car with Ada and SPARK | The AdaCore Blog https://blog.adacore.com/making-an-rc-car-with-ada-and-spark 3 comments
- AdaCore Announces Winners for Third Annual “Make with Ada”… | AdaCore https://www.adacore.com/press/adacore-announces-winners-for-third-make-with-ada-competition 3 comments
- Making robots with Ada, Part 2 - Driving the motors - Embedded.com http://www.embedded.com/design/programming-languages-and-tools/4458801/Making-robots-with-Ada---Part-2---Driving-the-motors 2 comments
- GNAT GPL 2017 is out! | The AdaCore Blog http://blog.adacore.com/gnat-gpl-2017-is-out 2 comments
- The Work of Proof in SPARK | AdaCore https://www.adacore.com/papers/work-of-proof-in-spark 1 comment
- The Adaroombot Project | The AdaCore Blog http://blog.adacore.com/the-adaroombot-project 1 comment
- Layered Formal Verification of a TCP Stack | AdaCore https://www.adacore.com/papers/layered-formal-verification-of-a-tcp-stack 1 comment
- 158: Programming Is Too Difficult for Humans — Embedded http://embedded.fm/episodes/158 1 comment
- AdaCore Announces Winners for Second Annual “Make with Ada”… | AdaCore http://www.adacore.com/press/2nd-annual-mwac-winners/ 1 comment
- GNAT Community 2018 is here! | The AdaCore Blog https://blog.adacore.com/gnat-community-2018 0 comments
- AdaCore Technologies for Cybersecurity | AdaCore https://www.adacore.com/books/adacore-tech-for-cyber-security 0 comments
- Ada programmers: Stéphane Carrez | Tomek Wałkuski https://tomekw.com/ada-programmers-stephane-carrez/ 0 comments
- AdaCore Announces Winners of Fifth Annual “Make with Ada”… | AdaCore https://www.adacore.com/press/winners-fifth-annual-make-with-ada-competition 0 comments
Related searches:
Search whole site: site:makewithada.org
Search title: Make with Ada - Hackster.io
See how to search.