spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications. (by simonjwright)
Ada_GUI
An Ada-oriented GUI (by jrcarter)
| spark2014 | Ada_GUI | |
|---|---|---|
| 1 | 10 | |
| 1 | 36 | |
| - | - | |
| 0.0 | 6.3 | |
| about 2 years ago | 3 months 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).
Ada_GUI
Posts with mentions or reviews of Ada_GUI.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-05-31.
-
June 2022 What Are You Working On?
Improvments to Ada GUI and a result change to the Ada-GUI version of Mine Detector
-
May 2022 What Are You Working On?
Improvements to Ada GUI
-
April 2022 What Are You Working On?
Some changes to the description of the King language. Some improvements and a new component in the PragmAda Reusable Components. Writing a summary of the FOSDEM presentation on [Ada GUI][https://github.com/jrcarter/Ada_GUI) for the Ada User Journal.
-
How to handle platform/feature-specific code?
(Actually, for a GUI, the solution is to use a portable GUI such as Ada GUI, but for other cases this approach may be needed.)
-
March 2022 What Are You Working On?
Added additional dialogs to Ada GUI.
-
February 2022 What Are You Working On?
I did some work on Ada GUI and incorporated D. Norte de Moraes' 512- and 1024-bit versions of Threefish into the PragmARCs. I also prepared a presentation on Ada GUI for FOSDEM.
-
What Did You Work On in 2021?
The only things I mentioned in What did You Work On posts are Ada GUI and King.
-
December 2021 What Are You Working On?
Improvements to Ada GUI.
-
Which GUI for an Ada desktop application do you recommend?
My preference is for portability and Ada, so I like Ada GUI.
-
What are you working on? July 2021
I'm working towards creating a direct implementation of Ada_GUI. I have something mostly work9ng, but it's rather ugly.
What are some alternatives?
When comparing spark2014 and Ada_GUI 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]
alire - Command-line tool from the Alire project and supporting library
ada-lox
ASFML - Ada binding to the SFML library
PragmARC - The PragmAda Reusable Components
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi
lith - An implementation of R7RS-small in Ada
gembrowse - Terminal browser for the Gemini protocol
septum - Context-based code search tool
assignments