1
Ada and SPARK enter the automotive ISO-26262 market with Nvidia
AdaCore and NVIDIA have decided to publish this reference process freely as an open-source and evolving document, allowing the industry at large to adopt…
AdaCore
Discover AdaCore’s commercial software solutions for Ada, C, and C++. Benefit from expert support, robust analysis tools, and trusted certification-ready…
- Popular posts
- 3
- Total points
- 340
- HN comments
- 173
- Rank
- #3,912 company
Visit adacore.com → On Hacker News Feb 2019 – Jun 2025
Software Engineering 3Programming Languages 2Tech Industry & Business 1
2
AdaCore Announces Gnat Pro for Rust
For the first time, AdaCore’s GNAT Pro subscribers will be able to develop safety- and security-certifiable embedded applications using Rust while…
3
AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support
GNAT Pro and GNAT Community toolchains available both for professionals and hobbyists NEW YORK and PARIS, January 29, 2019 - AdaCore today announced its…