- [French] WebEx Ada France le 26 mai à 10h https://adacore.com 3 comments ada
- Ada on the Raspberry Pi! https://www.adacore.com/ 6 comments raspberry_pi
Linking pages
- Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System | Manufacturing.net https://www.manufacturing.net/aerospace/news/21175187/airbus-chooses-gnat-pro-ada-for-development-of-unmanned-aerial-system 197 comments
- Signed Integers are Asymmetrical https://borretti.me/article/signed-integers-asymmetrical 148 comments
- Ada 2012 http://www.ada2012.org 71 comments
- AdaCore Announces GNAT Pro for Rust | AdaCore https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust 69 comments
- GitHub - AdaCore/gnat-llvm: LLVM based GNAT compiler https://github.com/adacore/gnat-llvm 42 comments
- AdaCore Joins the RISC-V Foundation to Provide C and Ada… | AdaCore https://www.adacore.com/press/adacore-joins-the-risc-v-foundation 16 comments
- Hacking the Linux Kernel in Ada - Part 1 - Linux.com https://www.linux.com/audience/developers/hacking-the-linux-kernel-in-ada-part-1/ 15 comments
- AdaCore Announces Winners of Fourth Annual “Make with Ada” Competition | Business Wire https://www.businesswire.com/news/home/20200303005076/en/ 13 comments
- SPARKNaCl/README.md at master · rod-chapman/SPARKNaCl · GitHub https://github.com/rod-chapman/sparknacl/blob/master/readme.md 12 comments
- The most secure programming language you’ve probably never even heard of… | by Jannis Kirschner | Medium https://medium.com/@jannis.kirschner/the-most-secure-programming-language-youve-probably-never-even-heard-of-4ed9f7d73ade 12 comments
- AdaCore enhances security-critical firmware with NVIDIA | AdaCore https://www.adacore.com/press/adacore-enhances-security-critical-firmware-with-nvidia 11 comments
- Tunny, Colossus and Ada: Keeping an Open Mind | Dr Dobb's http://www.ddj.com/hpc-high-performance-computing/207800151 7 comments
- GitHub - AdaCore/ada_language_server: Server implementing the Microsoft Language Protocol for Ada and SPARK https://github.com/AdaCore/ada_language_server 7 comments
- Simplicity and Survival https://borretti.me/article/simplicity-and-survival 6 comments
- GitHub - jklmnn/gnat-llvm-xtensa: LLVM based GNAT compiler for Xtensa https://github.com/jklmnn/gnat-llvm-xtensa 6 comments
- Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control System Firmware | Business Wire https://www.businesswire.com/news/home/20201208005125/en/Consafe-Logistics-Selects-AdaCore%E2%80%99s-GNAT-Pro-for-Critical-Warehouse-Control-System-Firmware 6 comments
- GitHub - riscvarchive/riscv-software-list: The RISC-V software tools list, as seen on riscv.org https://github.com/riscv/riscv-software-list 5 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
- Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet | AdaCore http://www.adacore.com/press/ada-on-board-gnat-pro-helps-exomars-get-to-the-red-planet 3 comments
- Why aren't developers interested in Ada? - Embedded.com https://www.embedded.com/electronics-blogs/break-points/4008214/Why-aren-t-developers-interested-in-Ada- 2 comments
Related searches:
Search whole site: site:www.adacore.com
Search title: Commercial software solutions for Ada, C and C++ | AdaCore
See how to search.