coldframe
getada
coldframe | getada | |
---|---|---|
3 | 5 | |
8 | 13 | |
- | - | |
6.6 | 8.3 | |
8 months ago | 24 days ago | |
Ada | Ada | |
GNU General Public License v3.0 only | 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.
coldframe
-
June 2023 What Are You Working On?
Minimal Containers - These containers are modelled on the standard Bounded_Vectors and Bounded_Hashed_Maps, but have a reduced memory footprint. They were initially created for use in my ColdFrame, especially when used in a Ravenscar context on an MCU.
-
March 2023 What Are You Working On?
Work on a pair of minimal containers, to suit my ColdFrame, specifically for MCUs. This led to interesting discoveries, e.g. GCC PR 108801 (note the palindrome!) and that GCC 13.0.1 (20230129) won’t compile stm32-timers.adb at -O2 (an obscure message about GIMPLE).
-
February 2023 What Are You Working On?
Checking out GCC 13; looking at this issue.
getada
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
Getting alire installed involves downloading the zip, extracting the binary, and moving the binary to a directory in $PATH. If you're on a mac, you also have to run an "xattr" command on the tool to get it running.
I've seen the last parts get newcomers tripped up so Getada takes the rustup approach.
It uses github's api to retrieve the latest published release of alire[1] and then downloads and extracts it to a specified directory in $HOME. Then it creates an env file[2] and sources that file in .profile and/or .zshenv. It also logs everything that it does so it can undo it later with getada --uninstall
[1] https://github.com/alire-project/alire/releases
[2] Here's roughly what the env file looks like that it creates https://github.com/AJ-Ianozi/getada/blob/main/src/shells.adb...
- Show HN: Cashe: A money library written in Ada
-
February 2023 What Are You Working On?
I'm also still working hard on GetAda. It has an uninstaller now. I'm looking for people willing to test it on various versions of linux! While it may not be this month, my next steps are creating a "one liner" sort of script similar to rustup, where you can just copy and paste a command into your terminal and have Alire installed on your system.
-
GetAda: an unofficial installer for alire
One of my major goals with Ada is to have a one-liner for people to install the whole toolchain with alire. Towards that aim, I created an installer for Alire, written in Ada. It's in VERY early release, this is just the first iteration, but if anyone would like to test it on a VM (or on your own computer) it's available here: https://github.com/AJ-Ianozi/getada
What are some alternatives?
euler_examples - Some Euler Project problems solved in Ada
euler_tools - Assortment of Ada functions to solve Euler Project problems
ada_iso - ISO Standard references for Ada such as ISO 1366 (country codes) and ISO 4217 (currencies)
learn - Sources for learn.adacore.com
scripted_testing - Supports functional testing using Tcl scripts.
protohackers
json-ada - An Ada 2012 library for parsing JSON
deflate - A deflate compression library
powerjoular - PowerJoular allows monitoring power consumption of multiple platforms and processes.
minimal_containers - Just enough containers for ColdFrame.