Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Rust

Python

Go

PowerShell

CSS

C#

Java

Shell

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Ruby

Go

Swift

C

Scala

Perl

Dart

Lua

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇲🇨 Monaco

🇧🇮 Burundi

🇩🇰 Denmark

🇧🇾 Belarus

🇹🇩 Chad

🇹🇹 Trinidad and Tobago

🇹🇯 Tajikistan

🇮🇹 Italy

All Countries Compare Countries

AdaCore/gnatstudio

Editors and extensions

Stars
402
Rank 107,380 (Top 3 %)
Language
Ada
Created about 8 years ago
Updated about 2 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