Lined
Ada Implementation of the Line Editor from Software Tools (by jrcarter)
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications. (by simonjwright)
Our great sponsors
Lined | spark2014 | |
---|---|---|
4 | 1 | |
1 | 1 | |
- | - | |
0.0 | 0.0 | |
over 1 year ago | about 2 years ago | |
Ada | Ada | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 only |
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.
Lined
Posts with mentions or reviews of Lined.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-12-02.
-
December 2022 What Are You Working On?
Improvements to the Ada-GUI version of the MP music player and the Lined line editor
-
March 2022 What Are You Working On?
Got Lined to SPARK level Bronze, though I haven't figured out how to get it to check the main-program procedure, so this isn't very meaningful.
-
ADA Spark, is it open source or not?
I had to remove the SPARK aspects from Lined to compile it with ObjectAda 10.2.
-
Class help?
For maximal simplicity and minimal functionality, there's Lined.
spark2014
Posts with mentions or reviews of spark2014.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-02-28.
-
March 2022 What Are You Working On?
SPARK2014, macOS: I’ve built branch fsf against GCC 12.0.1 of 20220204 (discussion, compiler, spark2014).
What are some alternatives?
When comparing Lined and spark2014 you can also consider the following projects:
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-14.0.1 [April 2024]