coldframe
ColdFrame generates Ada framework code and documentation from UML models. (by simonjwright)
distributing-gcc
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them. (by simonjwright)
| coldframe | distributing-gcc | |
|---|---|---|
| 3 | 20 | |
| 8 | 33 | |
| - | - | |
| 6.6 | 4.7 | |
| 8 months ago | 4 days ago | |
| Ada | Makefile | |
| GNU General Public License v3.0 only | BSD 3-clause "New" or "Revised" License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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
Posts with mentions or reviews of coldframe.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-02.
-
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.
distributing-gcc
Posts with mentions or reviews of distributing-gcc.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-02.
-
June 2023 What Are You Working On?
GCC 13.1.0 for aarch64-apple-darwin21, both native and cross-compiling to arm-eabi. Had to make a second release of both, because libgmp.dylib had a very unhelpful runpath setting.
- GCC 13.1.0 releases for Apple silicon
- MacOS GCC 13.1.0 (aarch64)
- Release GCC 13.1.0 (aarch64)
-
May 2023 What Are You Working On?
Libadalang2xml now in Alire. NB, if you’re on macOS, you’ll need one of the packages I’ve been building; alr/macOS can’t build langkit, libadalang.
-
macOS GCC 13.1.0 (x86_64)
Yes: see here.
-
What are does the hobbyist programmer miss comparing the paid versus free Ada ecosystem?
This is why, when considering whether to build & release a nn.2.0 macOS version, I’ll only do so if there’s a good reason: for example, GCC 12.1.0 couldn’t compile C source on macOS Ventura (version 13).
-
December 2022 What Are You Working On?
Over at Github, I’ve released GCC 12.2.0 for macOS: x86_64 for Intel Macs, aarch64 for Apple silicon. I have an arm-eabi build too, must get round to releasing it.
-
[ANN] XNAdaLib 2022 and GNATStudio 23.0wb for macOS Monterey.
XNAdaLib is a large set of ready to use Ada libraries prebuilt with GNAT FSF 12.1 for macOS.
-
Ada on apple silicon
For the next few years you’ll be able to run x86_64 binaries on Apple silicon. I produced an aarch64 package based on GCC 12.1.0, see here, but (a) GCC 12.1 won’t compile C code on Ventura, (b) if you want an ecosystem try Alire whose default toolset includes a GCC 12.2-based compiler, albeit x86_64!
What are some alternatives?
When comparing coldframe and distributing-gcc you can also consider the following projects:
euler_examples - Some Euler Project problems solved in Ada
Ada_GUI - An Ada-oriented GUI
ada_iso - ISO Standard references for Ada such as ISO 1366 (country codes) and ISO 4217 (currencies)
gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-15.0.0 [May 2024]
scripted_testing - Supports functional testing using Tcl scripts.
alire - Command-line tool from the Alire project and supporting library
getada - An unofficial installer for Alire
ACATS - The Ada Conformity Assessment Test Suite, customised for GCC.
json-ada - An Ada 2012 library for parsing JSON
GNAT-FSF-builds - Builds of the GNAT Ada compiler from FSF GCC releases
deflate - A deflate compression library
septum - Context-based code search tool
coldframe vs euler_examples
distributing-gcc vs Ada_GUI
coldframe vs ada_iso
distributing-gcc vs gcc-darwin-arm64
coldframe vs scripted_testing
distributing-gcc vs alire
coldframe vs getada
distributing-gcc vs ACATS
coldframe vs json-ada
distributing-gcc vs GNAT-FSF-builds
coldframe vs deflate
distributing-gcc vs septum