Encouraging Safe & Secure Programming in Academia

Over 200 members in 35 countries are teaching Ada using the GNAT Academic Program.

The GNAT Academic Program (GAP) links teachers of Ada the world over and provides a way for members to exchange knowledge and resources.

Interested in joining GAP? Get in contact with us.

Academia Map

Ada embodies the best contemporary ideas in software technology. Students exposed to Ada at an early stage of their career become more skilled and principled programmers.

We believe that Ada is the right choice for courses in elementary programming, data structures, software engineering and advanced courses in compiler construction. The GNAT Academic Program (GAP) helps put Ada at the forefront of university study, providing tutorials, lecture modules, lab exercises and ideas for student projects.

Dedicated to building a community of academic professionals, the GNAT Academic Program’s primary objective is to provide a collaborative platform where educational materials, knowledge, resources and fresh ideas can be developed and shared. It enables creating and exchanging ideas about creatively using GNAT within an academic setting and encourages teachers to share experiences with Ada from their professional work.

The GAP Package

A comprehensive toolset and support package designed to give educators the tools they need to teach Ada.

AdaCore provides educators 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 2012, 2005 and 95.

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
  • HTML documentation

Plus source releases for: GtkAda, ASIS, AWS, XML/Ada, GNATcoll, AJIS and POSIX API,.

We also have a number of tools, bindings, and librairies available on GitHub.

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

Student and research projects using Ada »


Support

AdaCore provides the community with The GAP Package; a comprehensive toolset and support package designed to give educators the tools they need to teach Ada. It includes an integrated binary distribution of the GNAT and SPARK tool sets 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.