gnat-ada

There are 0 repository under gnat-ada topic.

• SweetAda

  gabriele-galeotti / SweetAda

  Ada-language framework

  adaada-languagearmavrembeddedembedded-systemgnat-adam68kmicroblazemipsnios2powerpcrisc-vs390sh4sparcx86x86-64neorv32openrisc
  Language:Ada 38

• under-view / meta-adacore

  [WIP] Layer to enable gcc ada support

  adagnatgnat-adaopenembeddedyocto
  Language:BitBake 1

• jlfaucher / mini-Prolog

  Port of mini prolog II to Ada-83

  alain-colmeraueranatomie-de-prologgnat-adamichel-van-caneghemmini-prologprolog-heritageretrocomputing
  Language:HTML 0

• stahta01 / Ada_Drivers_Library

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

  gnat-ada
  Language:Ada

• stahta01 / awesome-ada

  A curated list of awesome resources related to the Ada and SPARK programming language

  gnat-ada

• stahta01 / bb-runtimes

  Source repository for the GNAT Bare Metal BSPs

  gnat-ada
  Language:Ada

• stahta01 / cortex-gnat-rts

  This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit

  gnat-ada
  Language:Ada

• stahta01 / emulatorkit

  A set of Ada 2012 x86_64 emulator components

  gnat-ada
  Language:Ada

• stahta01 / gnatstudio

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

  gnat-ada
  Language:Ada

• stahta01 / lea

  LEA is a Lightweight Editor for Ada

  gnat-ada
  Language:Ada