jeremygrosser Goto Github PK

ada-auth

A mirror of Ada Reference Manual sources

ada-builder

Docker environment for cross-compiling Ada arm-eabi binaries on x86_64

ada-lang-io

An Open Source Community site for Ada

ada_drivers_library

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

adl-middleware

Middleware layer of the Ada Drivers Library project

advent

Advent of Code - Ada

alire

Command-line tool from the Alire project and supporting library

alire-index

Community index for the Alire project

alire-index-msp430

MSP430 toolchain package index for Alire

aports

[MIRROR] Alpine packages build scripts

arm_cmsis_dsp

ARM CMSIS DSP library (Ada bindings)

atproto-website

aunit

awesome-ada

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

badger2040_bsp

Board support for the Pimoroni Badger 2040 (Ada)

bare_runtime

Minimal Ada/SPARK run-time for embedded or other restricted targets

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

bbqueue-spark

An Ada implementation of James Munns' BBQueue

bigstack

format stack size reports from GCC's -fstack-usage output

binscripts

breakouts

Random breakout boards, rarely useful

broadcom-wl

Broadcom Linux hybrid wireless driver (64-bit)

buildroot

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.

carrier

A RESTful KVM control daemon

ccs2ada

TI device definitions to Ada package specifications

chests

Chests are bounded containers

chibios-contrib

Community contributed code (ports, drivers, etc).

chromesdr

Software Defined Radio in a Chrome App

cities

clay

Clay is a framework for building RESTful backend services using best practices. It’s a wrapper around Flask.