liburing-ada
King
liburing-ada | King | |
---|---|---|
1 | 8 | |
1 | 1 | |
- | - | |
3.2 | 4.2 | |
about 2 years ago | 11 months ago | |
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.
liburing-ada
-
April 2022 What Are You Working On?
Working on my Ada REST event processing tool, got a thin binding to io_uring working here: https://github.com/docandrew/liburing-ada along with an example if anyone wants to try it out. At some point I’d like to make it more “Ada” and less “C” and turn it into an Alire crate.
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.
What are some alternatives?
septum - Context-based code search tool
hac - HAC Ada Compiler - a small, quick Ada compiler fully in Ada
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.
alire - Command-line tool from the Alire project and supporting library
zip-ada - Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
resources - A utility library to handle project resources at run-time
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
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
Ada_GUI - An Ada-oriented GUI
ACATS - The Ada Conformity Assessment Test Suite, customised for GCC.
drivers - An assortment of drivers