Ada_Drivers_Library
alire
Ada_Drivers_Library | alire | |
---|---|---|
13 | 29 | |
232 | 261 | |
1.7% | 6.5% | |
7.1 | 9.3 | |
2 months ago | about 1 month ago | |
Ada | Ada | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 only |
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.
Ada_Drivers_Library
- "No way to prevent this" say users of only language where this regularly happens
-
How to get the ARM toolchain up and running?
Hi, I'm trying to compile any example from the project Ada_Drivers_Library, but it seems that I can't get the toolchain correctly installed:
- Using Rust for Embedded Development
- To autosar or not to autosar
-
December 2022 What Are You Working On?
Trying to fix a problem with the accelerometer, actually with TWI (a.k.a. I2C) on BBC Micro:bit (v1): PR raised.
- when to choose stm32 MCUs over a raspberry pi Pico ?
-
November 2022 What Are You Working On?
Tried to work out why TWI (Nordic’s I2C) doesn’t work on BBC micro:bit (v1.3b, anyway). Failed, so far.
-
July 2022 What Are You Working On?
Spent days to make MAG3110 work on Micro:bit, but then Fabien told me that it has been fixed in April. It appears that my local clone of Ada Drivers Library wasn't updated! :(
-
December 2021 What Are You Working On?
Got I2C & SPI drivers for the LPS25H barometric sensor accepted in the Ada Drivers Library.
-
How do I get started with programming microcontrollers with Ada?
You could take a look into the Ada_Drivers_Library. It provides BSPs and examples for different boards, so that's an easy way to get started. For the start you could get any of the boards supported there, depending on the hardware features you want to have.
alire
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
> I don't know if this tool solves the problem
Not yet but it's on my list as a "phase 2" of sorts for getada. I have an alpine VPS that I'm playing around with but the main issue is that while alire can be built for alpine, any compilers it pulls from its toolchain won't work with it since none of them are built against musl. We've been talking about it here https://github.com/alire-project/alire/issues/792#issuecomme...
- Alire 2.0 Released
-
MACbook M1 - alr, gnat development troubles
Join the club! And see this issue.
-
Since MSys2 dropped support for Ada (!), how can I build Ada projects such as sdlada and gprbuild-bootstrap that require command-line tools (e.g. makefiles or bootstrap.sh) on Windows?
Alire brings in msys2, so that's why I'm curious if it's still working on Windows. Easiest way to install alire on Windows is through the installer linked on their main website.
- Alire - inability to install some packages from the repository
-
Your feedback wanted on Alire policy about Unicode
We are considering if Alire should change defaults in regard to dealing with Unicode sources. The details are https://github.com/alire-project/alire/discussions/1334 if you're interested and want to provide some feedback.
-
FOSDEM 2023 – Get Started with Open Source Formal Verification
It's also worth mentioning that Ada and SPARK are very easy to pick up these days. There's Cargo-like tool Alire [1], Ada Language Server [2], official VSCode plugin [3] and Open VSX plugin [4], Emacs Ada mode [5] and GNAT Studio [6]. With Alire one can easily install GNAT FSF builds (meaning GPL with linking exception) and SPARK tools. All libre software.
Not to mention Ada being really versatile and well thought out language.
[1] https://github.com/alire-project/alire
-
yet another Ada web site?
#1157 on Alire's GitHub page raises this issue as well. I've placed a comment over there. If the website's code is located on GitHub, it would be easier for users to contribute and get deployed automatically.
- Please explain how to control dependencies for commercial Ada software development in Alire.
- Alire 1.2.0 release
What are some alternatives?
qoi - The “Quite OK Image Format” for fast, lossless image compression
HomeBrew - 🍺 The missing package manager for macOS (or Linux)
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)
linuxdeploy - AppDir creation and maintenance tool. Featuring flexible plugin system.
ob-ada-spark
AppImageKit - Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.libera.chat
usb_embedded - An Ada USB stack for embedded devices
Ada_GUI - An Ada-oriented GUI
svd2ada - An Ada binding generator from SVD descriptions for bare board ARM devices.
ada-awa - Ada Web Application - Framework to build high performance secure web applications
als-alire-index - An Alire index to build ada_language_server
powerjoular