esp32c3-ada
King
Our great sponsors
| esp32c3-ada | King | |
|---|---|---|
| 2 | 8 | |
| 4 | 1 | |
| - | - | |
| 3.7 | 4.2 | |
| 17 days ago | 10 months ago | |
| Ada | ||
| MIT 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.
esp32c3-ada
-
April 2023 What Are You Working On?
I'm currently aiming to put esp32c3-ada and esp32c3-ada-bindings in a state where others can use these as an easy starting point for their ESP projects. I thereby also recognize that I don't have the time to go the full path to a productive application. So instead I try to bundle the efforts that other people might put in this SoC together so that everyone can benefit from that.
-
October 2022 What Are You Working On?
I recently published gpr-rust which allows an easier use of Ada libraries in Rust. And I'll continue working on my ESP32C3-Ada port.
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?
alire-index - Community index for the Alire project
hac - HAC Ada Compiler - a small, quick Ada compiler fully in Ada
esp32c3-direct-boot-example - Example of ESP32-C3 (rev. 3 and later) "direct boot" feature.
alire - Command-line tool from the Alire project and supporting library
bare_runtime - Minimal Ada/SPARK run-time for embedded or other restricted targets
zip-ada - Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
gpr-rust - Rust binding for gpr
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
tcladashell - Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada_GUI - An Ada-oriented GUI
esp-idf-ada-bindings - Ada bindings for the ESP32C3 RiscV SoC based on ESP-IDF
drivers - An assortment of drivers