Beast code in Giters

jgrivera67's repositories

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

Language:AdaApache-2.028 7 4

Ada projects for Make-with-Ada

Language:Ada12 50

Language:Ada400

Language:C1 20

Language:Ada020

020

Language:AdaBSD-2-Clause020

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

Language:Ada000

Community index for the Alire project

GPL-3.0010

Embedded Systems Class Labs

Language:C000

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

Language:Ada000

Portable Minimal Ada Runtime Library

Language:AdaNOASSERTION000