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