reznikmm Goto Github PK

aarch64-alire-index

Alire port to aarch64

acme-ada

ACME implementation in Ada

ada-auth

A mirror of Ada Reference Manual sources

ada-coco-r

Coco/R compiler generator in Ada

ada-howto

Collection of How-to documents for Ada

ada-lsp

Language Server Protocol for Ada

ada-overlay

Set of Ada related ebuilds for Gentoo

ada-pretty

Pretty printing library for Ada

ada-skynet

Library for integrating Skynet with Ada applications

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

ada-tips

Collection of tip-of-the-day for Ada

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

ada_ru

Sources to build www.ada-ru.org site

adalib

Standard Ada library specification as defined in Reference Manual

adawebpack

Ada WASM Runtime and Bindings for Web API

advent-of-ada

Advent of Code solutions

ak09940a

An Ada driver for 3-axis magnetic sensor AK09940A

alire

Command-line tool from the Alire project and supporting library

alire-index

Community index for the Alire project

alire-index-checks

Checks on submissions to Alire indexes

als-alire-index

An Alire index to build ada_language_server

alsa

The Advanced Linux Sound Architecture (ALSA) library API binding for Ada

anagram

Grammar handling and parser generation Ada library

android_app_demo

Small demo for android app in Ada/webAssembly

asis-rpm

scripts to build Fedora RPMs from asis-gpl-2016 sources.

awesome-ada

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

aws

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

axmpp

bme280

Driver for BME280 humidity, pressure and temperature sensor