jklmnn Goto Github PK

3s

simple site (with) sed

acpi_call

A linux kernel module that enables calls to ACPI methods through /proc/acpi/call. Now with support for Integer, String and Buffer parameters.

ada-bfd

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

ada_drivers_library

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

adafb

SDL based Ada framebuffer library

airrohr-mqtt

Homeassistant compatible mqtt bridge for the Airrohr air sensor.

alire-index

Community index for the Alire project

amatrix

Matrix implementation in Ada

aoc

My Advent of Code solutions

ash

Ash is an Ada Simple HTTP Server

aunit

awesome-ada

Awesome resources and other links related to the Ada programming language

awsm-gorillas

small wasm game

base-linux-hw

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

broetchenrechner

capdpa

ceres

ci-test

test repository

componolit

continuous-verification

SPARK formal verification automated with Travis CI

crosstool-ng

crosstool-NG with support for Xtensa

deploy-your-own-saas

List of "only yours" cloud services for everyday needs :black_flag:

directory2rss

Generate an RSS feed from Apache and nginx index pages

docker-ci

docker-gnat

Fork of reznikmm/gnat from Bitbucket

drawio

Source to www.draw.io

drawphone

esp-idf-ada-bindings

Ada bindings for the ESP32C3 RiscV SoC based on ESP-IDF