Member Access The Academic Member Site
See Ada in Academia
Click here to view a video of how a prominent university uses Ada and GNAT to teach its students sound software development practices.
AdaCore provides the community with the GAP Package at no cost. This comprehensive toolset and support package is designed to give educators the tools they need to teach Ada. The package includes an integrated binary distribution of the GNAT tool set and a variety of add-ons and libraries.
Instructors also receive direct help and support for all academic versions of GNAT including: assistance in using the system, suggestions for workarounds when system issues arise and help in understanding Ada 95 and Ada 2005.
The GAP Package includes:
Tools and Resources
An integrated source and binary distribution for Windows, Solaris, GNU/Linux, and Mac OS X including:
- GNAT compiler & toolset
- GPS
- The SPARK toolset
- GNAT for MINDSTORMS NXT robotic platform
- HTML documentation
Plus source releases for: GLADE, PolyORB, GtkAda, ASIS, AWS, XML/Ada and POSIX API.
The Community
A place to share knowledge, fresh ideas, resources and teaching materials such as:
- Slide presentations
- Articles and papers
- Lecture notes
- Books and videos
- Programming challenges
Support
Online technical support from AdaCore’s team of Ada experts.
For more information about joining the GNAT Academic Program, please contact us at: gap-contact@adacore.com