Pinned Repositories
ada_riscv_renode
An Ada blinky program, compiled for the RISC-V and run with Renode.
astrodynamics
A set of useful astrodynamics functions for MATLAB
coop
Those chickens won't open the door themselves...
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.
PyDyGraphs
An interactive charting library using Dygraphs for the Jupyter Notebook
redo
Like make, but better.
stocker
An easy to use Monte Carlo savings and retirement planner.
adamant
A model-based flight software framework for Ada
dinkelk's Repositories
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.
dinkelk/PyDyGraphs
An interactive charting library using Dygraphs for the Jupyter Notebook
dinkelk/astrodynamics
A set of useful astrodynamics functions for MATLAB
dinkelk/stocker
An easy to use Monte Carlo savings and retirement planner.
dinkelk/redo
Like make, but better.
dinkelk/ada_riscv_renode
An Ada blinky program, compiled for the RISC-V and run with Renode.
dinkelk/coop
Those chickens won't open the door themselves...
dinkelk/job-server
A generic IO job server for haskell.
dinkelk/libadalang_tool_builder
Tool that builds and installs libadalang tools like gnatpp and gnatmetric from source.
dinkelk/siphon
A simple program for moving files from one machine to another over ssh.
dinkelk/adamant
Adamant - An embedded software framework
dinkelk/adamant_example
Example repository demonstrating the Adamant software framework
dinkelk/fastdep
fastdep - from https://www.irule.be/, but seems to be long abandoned
dinkelk/fprime
dinkelk/basilisk
Astrodynamics simulation framework - this LASP fork applies rigorous static analysis checks to support C++ flight software development within Basilisk
dinkelk/embedded_ada_2022_test
dinkelk/hello_pico_ravenscar
"Hello world" on the Raspberry Pi Pico using an Ada tasking runtime.
dinkelk/ning-api-python
Python Client for accessing the Ning API
dinkelk/pico_bsp
Ada BSP for the Raspberry Pi Pico
dinkelk/ravenscar_full_rp2040
dinkelk/redo-python
Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.
dinkelk/rp2040_hal
Ada drivers for the Raspberry Pi RP2040 SoC