alire
Ada_GUI
alire | Ada_GUI | |
---|---|---|
29 | 10 | |
261 | 35 | |
6.5% | - | |
9.3 | 6.3 | |
about 1 month ago | 2 months ago | |
Ada | Ada | |
GNU General Public License v3.0 only | BSD 3-clause "New" or "Revised" License |
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.
alire
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
> I don't know if this tool solves the problem
Not yet but it's on my list as a "phase 2" of sorts for getada. I have an alpine VPS that I'm playing around with but the main issue is that while alire can be built for alpine, any compilers it pulls from its toolchain won't work with it since none of them are built against musl. We've been talking about it here https://github.com/alire-project/alire/issues/792#issuecomme...
- Alire 2.0 Released
-
MACbook M1 - alr, gnat development troubles
Join the club! And see this issue.
-
Since MSys2 dropped support for Ada (!), how can I build Ada projects such as sdlada and gprbuild-bootstrap that require command-line tools (e.g. makefiles or bootstrap.sh) on Windows?
Alire brings in msys2, so that's why I'm curious if it's still working on Windows. Easiest way to install alire on Windows is through the installer linked on their main website.
- Alire - inability to install some packages from the repository
-
Your feedback wanted on Alire policy about Unicode
We are considering if Alire should change defaults in regard to dealing with Unicode sources. The details are https://github.com/alire-project/alire/discussions/1334 if you're interested and want to provide some feedback.
-
FOSDEM 2023 – Get Started with Open Source Formal Verification
It's also worth mentioning that Ada and SPARK are very easy to pick up these days. There's Cargo-like tool Alire [1], Ada Language Server [2], official VSCode plugin [3] and Open VSX plugin [4], Emacs Ada mode [5] and GNAT Studio [6]. With Alire one can easily install GNAT FSF builds (meaning GPL with linking exception) and SPARK tools. All libre software.
Not to mention Ada being really versatile and well thought out language.
[1] https://github.com/alire-project/alire
-
yet another Ada web site?
#1157 on Alire's GitHub page raises this issue as well. I've placed a comment over there. If the website's code is located on GitHub, it would be easier for users to contribute and get deployed automatically.
- Please explain how to control dependencies for commercial Ada software development in Alire.
- Alire 1.2.0 release
Ada_GUI
-
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?
HomeBrew - 🍺 The missing package manager for macOS (or Linux)
ASFML - Ada binding to the SFML library
linuxdeploy - AppDir creation and maintenance tool. Featuring flexible plugin system.
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
AppImageKit - Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.libera.chat
lith - An implementation of R7RS-small in Ada
ada-awa - Ada Web Application - Framework to build high performance secure web applications
septum - Context-based code search tool
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
assignments
powerjoular
gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-14.0.1 [April 2024]