Discover AdaCore/Ada-IntelliJ Open Source project by @AdaCore

Stars
21
Rank 1,084,038 (Top 22 %)
Language
Java
License
Apache License 2.0
Created about 7 years ago
Updated about 2 years ago

AdaCore

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

Support for Ada and SPARK languages in IntelliJ IDEA

gnatstudio

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

Ada

402

spark2014

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

Ada

245

Ada_Drivers_Library

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

Ada

241

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada

230

gnat-llvm

LLVM based GNAT compiler

Ada

182

libadalang

Ada semantic analysis library.

Ada

146

aws

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

Ada

127

gsh

A POSIX shell for Windows.

103

learn

Sources for learn.adacore.com

Ada

gtkada

Ada bindings for the GTK+ graphical library.

Ada

langkit

Language creation framework.

Python

gprbuild

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

Ada

svd2ada

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

Ada

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

Ada

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

VSS

High level string and text processing library

Ada

gnatcoll-core

GNAT Components Collection – Core packages

Ada

gnatcoverage

GNATcoverage: Coverage Analysis Tool

Ada

Certyflie

Ada

ada-traits-containers

Generic Ada Library for Algorithms and Containers

Ada

why3

SPARK 2014 repository for the Why3 verification platform.

OCaml

startup-gen

A startup code generator for embedded projects

Ada

e3-core

Core framework for developing portable automated build systems

Python

git-hooks

Git hooks Python-based scripts

Python

xmlada

The XML/Ada toolkit.

Ada

OPAVES

Open Platform for Autonomous VEhicle Systems

training_material

Ada

PolyORB

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

Ada

Ada-SPARK-Crate-Of-The-Year

gnat_community_install_script

Script to automate the installation of the GNAT Community Installers

Shell

cuda

Ada

win32ada

Ada API to the Windows library

Ada

spawn

Ada

Robotics_with_Ada

Robotics with Ada, ARM, and Lego

Ada

gpr

The framework for analyzing the GNAT Project (GPR) files

Ada

libadalang-tools

Libadalang-based tools

Ada

gnat-gdb-scripts

GDB scripts for Ada programs built with GNAT

Python

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

Ada

embedded-runtimes

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

Ada

adareducer

Python

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

labs-material

Support Libraries for AdaCore University Labs

Ada

templates-parser

AWS templates engine.

florist

ada-py-bind

e3-testsuite

spdm-recordflux

RC_Car_Demo

An embedded Ada/SPARK demo

Ada

RESSAC_Use_Case

A Collaborative Development Assurance Lab

Ada

aunit

Ada

SPARK_Railway_Simulation_Demo

Ada

Http_Cyclone

Compile_And_Prove_Demo

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

Ada

program_proofs_in_spark

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

gnat-docker

gnatdashboard

AdaSAT

e3-aws

High level interface for CloudFormation

Python

Platinum_Reusable_Stack

Ada

wposix

Ada Windows POSIX binding

Ada

code_examples_server

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

Python

lmod_manager

lmod based management tool for GNAT and SPARK installations

Python

SPARK_PDI_Demo

Use of SPARK to implement Parameter Data Items

Ada

langkit-query-language

query language for Libadalang and Langkit

Ada

gprconfig_kb

GPR configuration knowledge base

tictactoe

A tictactoe game written and proven in SPARK

Ada

language-examples

Examples of common software engineering constructs written in Ada and SPARK

Ada

ada_coding_standards

Ada

cheri-examples

Ada

style_checker

The AdaCore style checker

gpr-unit-provider

GPR2 based unit provider for Libadalang

Ada

gnatdoc

GNAT Documentation Generator

Ada

Lunar_Lander_Rotation_Demo

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

Ada

RecordFlux-parser

Python

training_labs_radar

Ada

RecordFlux

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

uwrap

Ada

SPARK 2014 repository for the Z3 SMT solver.

C++

lal-checkers

Libadalang-based code checking infrastructure

Python

spark_translator

SPARK 2005 to 2014 translator

Python

Lumos_Maxima

Lumos_Maxima repository for VerifyThis challenge

Ada

training_labs_solar_system

Ada

training_labs_standalone

Ada

gnatcoll

GNAT Components Collection (obsolete)

sphinxcontrib-adadomain

Python

alt-ergo

SPARK 2014 repository for the Alt-Ergo SMT solver.

OCaml

lsif-ada

Ada

prettier-ada

Ada

SPARK-to-C_Tetris_Demo

Ada

lal-refactor

Ada

RecordFlux-devutils

AdaCore/Ada-IntelliJ

AdaCore

Reviews

Repository Details

More Repositories