Mine_Detector
PragmARC
Mine_Detector | PragmARC | |
---|---|---|
1 | 11 | |
2 | 26 | |
- | - | |
0.0 | 4.3 | |
about 2 years ago | 2 months ago | |
Ada | Ada | |
- | - |
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.
Mine_Detector
-
June 2022 What Are You Working On?
Improvments to Ada GUI and a result change to the Ada-GUI version of Mine Detector
PragmARC
-
Books to learn Ada generics?
Note also that much of the standard library is generic, so studying it can be instructive. There are also many free libraries available, such as the PragmAda Reusable Components that contain many generic units.
-
Ada How to print what file/line/etc... you are at?
What you're looking for (file name, line number) is very compiler dependent, and not portable. However, it's possible to get the current unit name portably and automatically; see PragmARC.Reflection
-
Float'Image
PragmARC.Images contains
-
June 2022 What Are You Working On?
Improvements to the PragmAda Reusable Components
-
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.
-
March 2022 What Are You Working On?
Installed ObjectAda 10.3. The PragmAda Reusable Components now compile unchanged with both GNAT 11.2.0 and ObjectAda 10.3.
-
Confused about how controlled types work
You can use a "safe pointer" pkg such as PragmARC.Safety.Pointers.
-
Converting `Ada.Containors.Vectors.Vector` into C array
Conversions between vectors and their equivalent fixed arrays are missing operations in the Vectors pkg. You can use PragmARC.Conversions.Vectors for this. As is stated in the comments:
-
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.
-
Introducing AURA - A(nother) native package manager and build system for Ada
I have looked through the documentation, and do not see how one makes existing code into an AURA repository, whether dealing with code on the local file system, or an existing on-line git repository such as the PragmARCs.
What are some alternatives?
hac - HAC Ada Compiler - a small, quick Ada compiler fully in Ada
King - An informal decsription of the King software-engineering language
zip-ada - Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
Honki-Tonks-Zivilisationen - Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
esp32-gnat-rts - This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit
GPS Tracker - GPS Tracker platform for Sinotrack, Coban, Teltonika, Concox, Jimilab, OsmAnd and Queclink devices built with Laravel 11 + PHP 8.2 and MySQL 8. Plataforma GPS Tracker para dispositivos Sinotrack Sinotrack, Coban, Teltonika, Concox, Jimilab, OsmAnd y Queclink creada con Laravel 11 + PHP 8.2 y MySQL 8.
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
protobuf - The Google Protocol Buffers implementation in Ada
Ada_GUI - An Ada-oriented GUI
Honki-Tonks-Programming-Exercises - Some programming exercises written in Ada.
AURA - The AURA Reference Implementation