rp2040_hal
nephyr
Our great sponsors
rp2040_hal | nephyr | |
---|---|---|
9 | 4 | |
34 | 24 | |
- | - | |
7.4 | 0.0 | |
2 months ago | almost 2 years ago | |
Ada | Nim | |
BSD 3-clause "New" or "Revised" License | Apache License 2.0 |
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
nephyr
-
Microsoft DeviceScript – TypeScript for Tiny IoT Devices
I use Nim on embedded precisely for that reason: https://github.com/elcritch/nesper
I wtapped much of zephyr as well but that ones less used: https://github.com/embeddednim/nephyr
-
Compile time evaluation in Nim, Zig, Rust and C++
It's funny how something like Zig's comptime of C++'s constexpr get 90% of the way to solving most compile time issues, but can't knock out that last 10%. Compile time database types sound like one of those cases. F# had a feature for compile time types via "type providers". It seemed _really_ cool at first, but in practice is was a bit fragile.
Though on the other hand I'm using compile Nim code to parse CMake files and provide static types for configuration values. It's super easy in Nim between macros and const's. Here's a ~170 lines of code where I'm compile time checking that my Nim code can compile time check against the current build configuration of Zephyr RTOS https://github.com/EmbeddedNim/nephyr/blob/main/src/zephyr_c...
-
Launching the 2021 Nim Community Survey
Nesper author here, unfortunately I haven’t had time to fix the compile issues on all the esp-idf branches. Please feel free to file an issue as I don’t use es-idf/Nesper often now but I’ll respond to issues. The main branch should be more stable too.
I’ve been moving development to Zephyr RTOS since it supports many more boards and is more stable. I’d recommend trying it out but note it’s a WIP. I haven’t figured out templated examples yet. I’ve covered lots of api areas but not all. My goal is to make it into a broad MCU platform for Nim — Nephyr: https://github.com/EmbeddedNim/nephyr
But yah Nim can run on most anywhere you can compile C to. Some people just got Nim CMSIS working. I’m hoping to get more people involved at github.com/EmbeddedNim project to support more mcu’s. Testers are welcome!
- An Embedded USB Device Stack in Ada
What are some alternatives?
svd2nim - Convert CMSIS ARM SVD files to nim register memory mappings
pico_examples - Ada examples for the Raspberry Pi Pico
usb_embedded - An Ada USB stack for embedded devices
RFCs - A repository for your Nim proposals.
AdaDoom3 - Id Software's Id-tech-4-BFG in the Ada programming language.
nesper - Program the ESP32 with Nim! Wrappers around ESP-IDF API's.
BBS-BBB-Ada - A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
ts2c - Convert Javascript/TypeScript to C
ada_language_server - Server implementing the Microsoft Language Protocol for Ada and SPARK
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).