spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications. (by simonjwright)
Lined
Ada Implementation of the Line Editor from Software Tools (by jrcarter)
spark2014 | Lined | |
---|---|---|
1 | 4 | |
1 | 1 | |
- | - | |
0.0 | 2.7 | |
about 2 years ago | 23 days ago | |
Ada | Ada | |
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.
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).
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.
What are some alternatives?
When comparing spark2014 and Lined you can also consider the following projects:
gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-15.0.0 [May 2024]
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
ada-lox
gembrowse - Terminal browser for the Gemini protocol
PragmARC - The PragmAda Reusable Components
Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi
MP - A Music Player
Honki-Tonks-Zivilisationen - Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
King - An informal decsription of the King software-engineering language