AdaCore/gnatstudio

Editors and extensions

Stars
402
Rank 107,380 (Top 3 %)
Language
Ada
Created over 8 years ago
Updated 3 months ago

AdaCore/gnatstudio

AdaCore

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

GNAT Studio

What is GNAT Studio?
Building

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.

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.

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

gnat-llvm

LLVM based GNAT compiler

libadalang

Ada semantic analysis library.

aws

AWS is a complete framework to develop Web based applications in Ada.

gsh

A POSIX shell for Windows.

learn

Sources for learn.adacore.com

gtkada

Ada bindings for the GTK+ graphical library.

langkit

Language creation framework.

gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

svd2ada

An Ada binding generator from SVD descriptions for bare board ARM devices.

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

VSS

High level string and text processing library

gnatcoll-core

GNAT Components Collection – Core packages

gnatcoverage

GNATcoverage: Coverage Analysis Tool

Certyflie

ada-traits-containers

Generic Ada Library for Algorithms and Containers

why3

SPARK 2014 repository for the Why3 verification platform.

startup-gen

A startup code generator for embedded projects

e3-core

Core framework for developing portable automated build systems

git-hooks

Git hooks Python-based scripts

xmlada

The XML/Ada toolkit.

Ada-IntelliJ

Support for Ada and SPARK languages in IntelliJ IDEA

OPAVES

Open Platform for Autonomous VEhicle Systems

training_material

PolyORB

PolyORB provides a uniform solution to build distributed applications relying either on middleware standards

Ada-SPARK-Crate-Of-The-Year

gnat_community_install_script

Script to automate the installation of the GNAT Community Installers

cuda

win32ada

Ada API to the Windows library

spawn

Robotics_with_Ada

Robotics with Ada, ARM, and Lego

gpr

The framework for analyzing the GNAT Project (GPR) files

libadalang-tools

Libadalang-based tools

gnat-gdb-scripts

GDB scripts for Ada programs built with GNAT

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

embedded-runtimes

runtimes that add support for various boards to the GNAT GPL compiler for ARM

adareducer

qemu

gnatcoll-db

GNAT Components Collection – Database packages

sparkformal

The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.

UnityAdaTetris

markdown

Markdown parser

labs-material

Support Libraries for AdaCore University Labs

templates-parser

AWS templates engine.

florist

ada-py-bind

e3-testsuite

e3 testsuite driver

spdm-recordflux

RC_Car_Demo

An embedded Ada/SPARK demo

RESSAC_Use_Case

A Collaborative Development Assurance Lab

aunit

SPARK_Railway_Simulation_Demo

Http_Cyclone

Compile_And_Prove_Demo

Demo project for new web site: Compile It! / Prove It!

program_proofs_in_spark

This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK.

gnat-docker

gnatdashboard

Analyse a project.

AdaSAT

e3-aws

High level interface for CloudFormation

Platinum_Reusable_Stack

wposix

Ada Windows POSIX binding

code_examples_server

prototype server for creating interactive "try SPARK / try Ada" webpages

lmod_manager

lmod based management tool for GNAT and SPARK installations

SPARK_PDI_Demo

Use of SPARK to implement Parameter Data Items

langkit-query-language

query language for Libadalang and Langkit

gprconfig_kb

GPR configuration knowledge base

tictactoe

A tictactoe game written and proven in SPARK

language-examples

Examples of common software engineering constructs written in Ada and SPARK

ada_coding_standards

cheri-examples

style_checker

The AdaCore style checker

gpr-unit-provider

GPR2 based unit provider for Libadalang

gnatdoc

GNAT Documentation Generator

Lunar_Lander_Rotation_Demo

Demonstration program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer

RecordFlux-parser

training_labs_radar

RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

uwrap

z3

SPARK 2014 repository for the Z3 SMT solver.

lal-checkers

Libadalang-based code checking infrastructure

spark_translator

SPARK 2005 to 2014 translator

Lumos_Maxima

Lumos_Maxima repository for VerifyThis challenge

training_labs_solar_system

training_labs_standalone

gnatcoll

GNAT Components Collection (obsolete)

sphinxcontrib-adadomain

alt-ergo

SPARK 2014 repository for the Alt-Ergo SMT solver.

lsif-ada

prettier-ada

SPARK-to-C_Tetris_Demo

lal-refactor

RecordFlux-devutils