Astrobe - An Oberon development system for Arm Microcontrollers

An Integrated Oberon Software Development System for Arm Cortex-M Microcontrollers
Astrobe is a complete integrated embedded Oberon software rapid development system running.
Use it to develop reliable embedded software to run on the powerful Arm Cortex-M families of microcontrollers.
This includes RP2040 (Cortex-M0+) / RP2350 (Cortex-M33) devices from Raspberry Pi and Cortex-M0/M0+, M3, M4 and M7 devices from STMicroelectronics.
I want 6


A full implementation of the parallel features of Ada 2022 is yet to be released. In the meantime, here is a light-weight-threading library that provides essentially all of the parallel features of Ada 2022, using various generics, etc. Scheduling is provided using a plug-in architecture. If no sche...

Not a perfect fit but Firefox can annotate PDFs out of the box. Maybe in some cases that is helpful ?
AtomVM: Erlang virtual machine for IoT devices
A micro Erlang VM for embedded devices like ESP32 and Raspberry Pico

AtomVM: Erlang virtual machine for IoT devices
A micro Erlang VM for embedded devices like ESP32 and Raspberry Pico

Useful Sensors Brings LLMs to the Edge (Rockchip RK5833)

Getting Started With Ada by Way of Rust
Getting Started With Ada By Way of Rust
Ich finde 25 als normaler Fahrradfahrer schon recht schnell wenn da e-bikes auf meist etwas engeren Stadtfahrradwegen an einem vorbei brausen.
Ich habe null Vertauen das sich alle S-Pedelec Fahrer an diese Art von Regeln halten würden. Einige schon, andere nicht.
Ich bin davon überzeugt das dies zu einer Situation führen würde wo wenige (die die Regel misachten) die Suppe für alle versalzen.
Insgesamt finde ich 25 einen gut funktionierenden Kompromiss.
Yes, you can switch between accounts. In Profile->Settings->Accounts->Change Accounts Settings ->Add
After you have added a second account you can then switch between them with a select list at the top of the main Feed screen.

The $8 linux computer

Introduction to Embedded Systems Programming

An interactive learning platform to teach the Ada and SPARK programming languages.


Ada learn: Introduction to Embedded Systems Programming

An interactive learning platform to teach the Ada and SPARK programming languages.


Ada Learn: Introduction to Embedded Systems Programming

An interactive learning platform to teach the Ada and SPARK programming languages.


An Embedded USB Device stack completely in Ada

An Embedded USB Device stack completely in Ada

An Embedded USB Device stack completely in Ada
SAMD51 and RP2040

Hacking the Linux kernel in Ada
For this three part series, we implemented a ‘pedal to the metal’ GPIO driven, flashing of a LED, in the context of a Linux kernel module for the NVIDIA Jetson Nano development board (kernel-based v4.9.294, arm64) in my favorite programming language … Ada! Part 1. Review of a kernel module, build st...
For this three part series, we implemented a ‘pedal to the metal’ GPIO driven, flashing of a LED, in the context of a Linux kernel module for the NVIDIA Jetson Nano development board

Building an 8-Bit Breadboard Computer - Austin Morlan

Years ago I came upon Ben Eater’s series of YouTube videos about building an 8-bit computer on a series of breadboards. I watched the entire series but didn’t have the energy to complete the project myself. Then a few months ago I decided to finally give it a go. After toiling away with wires for ar...

Build your own 8-bit computer on a breadboard. 3 times Picture

When NVIDIA hired hackers to test the security of one of their applications written in SPARK / Ada for a Risk-V chip, they found a vulnerability in the RISC-V IVA instead!
Formal proof triumphs. Read the full story


Legendary German striker Gerd Müller, who scored the winning goal in the 1974 World Cup final, has died aged 75
