GNAT Documentation Generation Tool (as a library) libgnatdoc by Manuel Hatzl 2022-11-06T01:00:00+01:00 Tags: spark unbound Unbound data structures in Ada-Spark Read More
GNU TLS library libgnutls by Manuel Hatzl 2022-11-06T01:00:00+01:00 Tags: spark Verified Ascii To Number conversion written in Ada/SPARK Read More
{{{ title }}} {{permalink}} by {{{ author }}} {{ datetime }} {{#categories}} {{label}} {{/categories}} Tags: {{#tags}} {{label}} {{/tags}} {{{ summary }}} Read More
