3 ms·
> 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.
by alberth 11mo ago
> 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 11mo ago> 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://en.wikipedia.org/wiki/SPARK_(programming_language) https://alire.ada.dev/transition_from_gnat_community.html https://alire.ada.dev/transition_from_gnat_community.html