[alberth]

> It is written in SPARK and Ada, and is comprised of 100% free software.

I thought SPARK was a paid (not free) license. Am I mistaken?

Very cool project btw.

[misswaterfairy]

> I thought SPARK was a paid (not free) license. Am I mistaken?

Similar model to Qt: permissive licensed open source version, with a commercial 'Pro' offering.

https://en.wikipedia.org/wiki/SPARK_(programming_language)

https://alire.ada.dev/transition_from_gnat_community.html