King
zip-ada
Our great sponsors
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.
King
-
July 2023 What Are You Working On?
Improvements to the King informal description
-
April 2023 What Are You Working On?
[OT] Simplified exceptions and exception handling in King
-
June 2022 What Are You Working On?
[OT] Additions to the informal description of King and contribution to the King RM
-
May 2022 What Are You Working On?
Work on the King RM and the informal description of King
-
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?
Added some features and revised the informal description of King, and worked with @Blady-com on early steps towards a KRM.
-
What Did You Work On in 2021?
The only things I mentioned in What did You Work On posts are Ada GUI and King.
-
Can I find an extensive list of vulnerabilities that ada prevents? and how it prevents them?
Finally, a couple of Ada people are working on Ada-inspired languages: Guest's (Lucretia on here) Orenda and Carter's (me) King. You might want to look at what they think.
zip-ada
- Zlib Critical Vulnerability
-
June 2022 What Are You Working On?
Zip-Ada: added support for archives with large (> 4 GiB) or numerous (> 65535) files. List of changes here: https://github.com/zertovitch/zip-ada/commits/master
-
Zip-Ada development on LZMA compression
Thanks for the pointer. Perhaps, one day... It looks like a significant effort compared to launching executables from a script or an Ada program. See current benchmark script here: https://github.com/zertovitch/zip-ada/blob/master/test/bench.adb
What are some alternatives?
hac - HAC Ada Compiler - a small, quick Ada compiler fully in Ada
SharpCompress - SharpCompress is a fully managed C# library to deal with many compression types and formats.
alire - Command-line tool from the Alire project and supporting library
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 - Track a dog with the GPS/LoRa device
Ada_GUI - An Ada-oriented GUI
lzbench - lzbench is an in-memory benchmark of open-source LZ77/LZSS/LZMA compressors
drivers - An assortment of drivers
Mine_Detector - The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
ews - The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
globe-3d - GLOBE_3D: a real-time 3D Engine written in Ada