dinkelk

linux-ipc-wrappers

A set of simple C libraries that simplify the use of Linux message queues, semaphores, shared memory, sockets, timers, and even serial ports.

PyDyGraphs

An interactive charting library using Dygraphs for the Jupyter Notebook

astrodynamics

A set of useful astrodynamics functions for MATLAB

stocker

An easy to use Monte Carlo savings and retirement planner.

redo

Like make, but better.

coop

Those chickens won't open the door themselves...

ada_riscv_renode

An Ada blinky program, compiled for the RISC-V and run with Renode.

job-server

A generic IO job server for haskell.

libadalang_tool_builder

Tool that builds and installs libadalang tools like gnatpp and gnatmetric from source.

siphon

A simple program for moving files from one machine to another over ssh.

adamant

Adamant - An embedded software framework

adamant_example

Example repository demonstrating the Adamant software framework

fastdep

fastdep - from https://www.irule.be/, but seems to be long abandoned

fprime

basilisk

Astrodynamics simulation framework - this LASP fork applies rigorous static analysis checks to support C++ flight software development within Basilisk

hello_pico_ravenscar

"Hello world" on the Raspberry Pi Pico using an Ada tasking runtime.

ning-api-python

Python Client for accessing the Ning API

pico_bsp

Ada BSP for the Raspberry Pi Pico

ravenscar_full_rp2040

redo-python

Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.

rp2040_hal

Ada drivers for the Raspberry Pi RP2040 SoC