search

ohenley / awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language
Creative Commons Zero v1.0 Universal
641 stars 71 forks source link

add Adage #113

Closed atalii closed 1 year ago

atalii commented 1 year ago

Hello,

Honestly I have no idea if this kind of self-promotion is an acceptable type of PR, but I figured I'd find out :). Adage is a tool with comparable power to doas but a bit less esoteric and, of course, written nearly entirely in Ada and SPARK. It seems like it fits in decently well with this eclectic list of apps.

Thanks so much for putting it together!

ohenley commented 1 year ago

Totally acceptable as it distributes the effort of identifying projects written in Ada. We are only here to curate potentially horrible code repo and/or wrong section addition... Welcome, and thanks for your contribution! Merging.