Haskell compiler

Ada major mode using tree-sitter for Emacs

Extract dependency information from Ada projects

Context-based code search tool

A process for Ada/SPARK software to meet ISO 26262

Memorial to Simon J Wright

Simple Ada Prolog library

Local hosting of ARM

Github pages for the Ada Rapporteur Group

Dependency-graph build for AdaCore's GPR files

Ada support for OpenAPI code generator

Simple chess demo done in Ada using GtkAda library (Adacore distrubutions) on Windows 7 (64)

Ada library and tools for the analysis of Complex Networks and more

mruby/c is another implementation of mruby.

Markdown parser

An Ada parser to generate Famix models

The Ada Conformity Assessment Test Suite, customised for GCC.

Handy library packages

A flight software framework in SPARK/Ada

Adventures for Learning and Inspiring Coding Excellence

G-NAV is a soaring computer for Linux OS, written in Ada and powered by OpenGL (ES) and either GLFW or SDL. It runs native on Raspberry Pi and similar ARM boards.

CommonMark parsing and rendering library and program in C

PolyORB-HI/Ada runtime for Ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

Hybrid Ada compiler for MSP430 platform

DWSIM is a Steady-State and Dynamic Sequential Modular Chemical Process Simulator for Windows, Linux and macOS.

Make Project Oberon Pretty Again

THIS REPOSITORY HAS MOVED TO github.com/nvidia/cub, WHICH IS AUTOMATICALLY MIRRORED HERE.