rp2040_hal
pico_examples
Our great sponsors
| rp2040_hal | pico_examples | |
|---|---|---|
| 9 | 3 | |
| 34 | 28 | |
| - | - | |
| 7.4 | 4.7 | |
| 2 months ago | 4 months ago | |
| Ada | Ada | |
| BSD 3-clause "New" or "Revised" License | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
rp2040_hal
-
Ada targeting RPI
You can go bare metal for the raspberry pico. Maybe it's also interesting to you: https://pico-doc.synack.me/
-
New release of vscode extension For Ada 23.0.15
In this release we improved Alire integration. Now you don't need the compiler to be in the PATH (only alr) when you are working with a crate, because Alire will configure it for you. Suppose you setup a crate for Rasperry Pico, if you open it in VS Code, then navigation should work out of the box. Also any Alire configuration is skipped altogether if the VSCode was launched with alr edit or alr exec.
-
Any recommendations for a newbie to get into embedded Ada?
If you want a more modern processor, pick the RPI Nano. You find extensive doc here: https://pico-doc.synack.me/
-
Using something else than C - neverending problems (AVR/ARM)
Ada on Raspberry Pi Pico website ( https://pico-doc.synack.me/)
-
Introduction to Embedded Systems Programming (Ada)
AdaCore's docs are fantastic for understanding why things are done the way they are. However, when I'm learning a new platform or language I prefer to see a lot of practical examples first. That's what I tried to do with my "Ada on the Raspberry Pi Pico" project:
https://pico-doc.synack.me/
- when to choose stm32 MCUs over a raspberry pi Pico ?
- Ada on the Raspberry Pi RP2040 (video presentation)
- An Embedded USB Device Stack in Ada
pico_examples
-
Issues while connecting NeoPixel (WS2812B) LED strips with Raspberry Pi Pico
I'm having issues connecting the WS2812B with Raspberry Pi Pico. I'm trying to execute the example program https://github.com/JeremyGrosser/pico_examples/blob/master/ws2812_demo/src/main.adb
- What is the most low level way of setting GPIO outputs?
-
Designing Winterbloom's Castor & Pollux - a deep dive into the hardware design of a Roland Juno-inspired Eurorack module.
It'll all be open source eventually, but for now I've just released my driver libraries and some examples. https://github.com/JeremyGrosser/pico_examples
What are some alternatives?
svd2nim - Convert CMSIS ARM SVD files to nim register memory mappings
Env-NPD - A Raspberry Pi Pico powered Numpad!
usb_embedded - An Ada USB stack for embedded devices
BBS-BBB-Ada - A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
AdaDoom3 - Id Software's Id-tech-4-BFG in the Ada programming language.
cortex-gnat-rts - This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
nephyr - Nim wrapper for Zephyr
bingada - Bingo application in GTKAda
notcursesada - Ada bindings for the notcurses text user interface library
ada_language_server - Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.