2 ms·
> 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.
by 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