dinkelk Goto Github PK

ada_riscv_renode

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

adamant

Adamant - An embedded software framework

adamant_example

Example repository demonstrating the Adamant software framework

astrodynamics

A set of useful astrodynamics functions for MATLAB

basilisk

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

coop

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

embedded_ada_2022_test

fastdep

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

fprime

hello_pico_ravenscar

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

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.

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.

ning-api-python

Python Client for accessing the Ning API

pico_bsp

Ada BSP for the Raspberry Pi Pico

pydygraphs

An interactive charting library using Dygraphs for the Jupyter Notebook

ravenscar_full_rp2040

redo

Like make, but better.

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

siphon

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

stocker

An easy to use Monte Carlo savings and retirement planner.