Skip to content

About

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Resources

Code of conduct

Contributing

Stars

530 stars

Watchers

45 watching

Forks

Latest commit

 

History

45,986 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

GNAT Studio

What is GNAT Studio?

GNAT Studio is a lightweight, extensible IDE, intended to develop high-integrity software in Ada and SPARK, with support for C and C++ as well.

GPS - Screenshot

Building

Requirements

GNAT Studio requires:

  • A recent version of Gtk+ (currently using version 3.24)
  • An install of Python which includes PyGObject and Pycairo
  • An install of GtkAda
  • An install of GNATcoll, configured with support for projects and Python scripting (--enable-project, --with-python=...)

See the INSTALL file for details.

About

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Resources

Code of conduct

Contributing

Stars

530 stars

Watchers

45 watching

Forks

Releases

Packages

Used by

Contributors

Languages