https://github.com/AdaCore/gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
https://github.com/AdaCore/gnatstudio

Last synced: about 1 year ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/AdaCore/gnatstudio
• Owner: AdaCore
• Created: 2016-09-08T17:22:47.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2024-12-16T00:55:19.000Z (over 1 year ago)
• Last Synced: 2024-12-16T11:42:38.527Z (over 1 year ago)
• Language: Ada
• Homepage:
• Size: 136 MB
• Stars: 418
• Watchers: 50
• Forks: 54
• Open Issues: 51
• Metadata Files:
  • Readme: README.md
  • License: COPYING3
  • Codeowners: CODEOWNERS

Awesome Lists containing this project