JeremyGrosser/ada-builder

Stars
2
Language
Dockerfile
Created over 3 years ago
Updated over 3 years ago

JeremyGrosser/ada-builder

JeremyGrosser

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

tablesnap

Uses inotify to monitor Cassandra SSTables and upload them to S3

repoman

A reprepro and pbuilder management API with a RESTful interface

rp2040_hal

Ada drivers for the Raspberry Pi RP2040 SoC

pico_examples

Ada examples for the Raspberry Pi Pico

python-poster

DEPRECATED Streaming HTTP uploads and multipart/form-data encoding

python-digg

Python client implementation for Digg's new writable API

pico_bsp

Ada BSP for the Raspberry Pi Pico

codenames

Generate codenames similar to those used by the US Armed Forces

mpegts

Python module for decoding MPEG2 transport streams

notcursesada

Ada bindings for the notcurses text user interface library

noaaport

NWS NOAAPORT and EMWIN client library for Python

rfid

Python library for interfacing with RFID modules from Seeed Studio

rp

Ada on RP2040 proof of concept

scrobbleshark

Scrobble track plays from GrooveShark to Last.fm (Python)

fincore

A port of fincore from linux-ftools to a Python C extension

dewpoint

A utility library for interacting with clouds

pynewspaper

A python based RSS and NNTP reader

clustoclient

Python client library and utilities for Clusto (http://clusto.org/)

cobalt

A frontend and server for Graphite using nvd3 and clusto

epoll-ada

Ada binding for Linux epoll

gophernews

Gopher server for reading Digg and Hacker News

pagercal

Generate an iCal feed for PagerDuty schedules

picolua

A minimal example of Lua with Raspberry Pi pico-sdk

hue-tricks

Scripts for automating Philips Hue lights.

drivers

An assortment of drivers

linux_hal

Ada HAL drivers for Linux GPIO and SPI interfaces

infra

Client tools for clusto

carrier

A RESTful KVM control daemon

advent

Advent of Code - Ada

wacc

ipstack

AdaCore TCP/IP stack for high-integrity systems

tiny_text

Low resolution bitmap font with a small memory footprint

chests

Chests are bounded containers

fah-docker

Folding@Home in a docker container

bigstack

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

retry

retry: run a command until it succeeds

synack_misc

Miscellaneous useful packages for embedded projects

meta-clockwork

Yocto BSP for ClockworkPi boards

clusto-viz

Visualization tools for clusto

cities

pyfat

A python module for interacting with FAT images

flameon

Campfire to IRC bridge

robokad

ev3

LEGO Mindstorms EV3

the_grid

A game demo for the Pimoroni Picosystem

cyw43

CYW43439 wireless driver

picow_test

Test program for Raspberry Pi Pico W

macropad_bsp

Adafruit Macropad RP2040 BSP (Ada)

chromesdr

Software Defined Radio in a Chrome App

adafruit_metro_rp2040_bsp

Adafruit Metro RP2040 BSP

quisk

Software Defined Radio (SDR) written in Python and C

i2c_led_matrix

msp430test

Demo of SPARK/Ada on MSP430

ravenscar_full_rp2040

ietfnotify

IETF event notification service

learnesp32

Ada on ESP32-C3: Proof of concept

pico_doc

Documentation for Ada on the Raspberry Pi Pico

feather51

An 8051 based Feather main-board

breakouts

Random breakout boards, rarely useful