Alire

Basalt

Website:

Author:

Maintainer:

kliemann@adacore.com

License:

AGPL-3.0-only

Version:

0.3.0

Alire CI:

Dependencies:

No dependency.

Dependents:

No dependents.

Badge:

Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/basalt.json

Collection of formally verified building blocks

#embedded #nostd #queue #spark #stack #string #utils