RSS

RSS (Really Simple Syndication) feeds offer another way to get our content. Subscribe to our feeds to get the latest updates.

All AdaCore

A consolidated RSS feed of all updates to the site.

AdaCore News

The latest news about our company including press releases, published articles, and the GNAT Pro Insider newsletter.

Developer and Technology News

Technical information and updates on the GNAT Pro, SPARK Pro, and CodePeer technology.

AdaCore Knowledge Center

General technical information from the AdaCore Knowledge Center.