> I thought SPARK was a paid (not free) license. Am I mistaken? Similar model to... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		misswaterfairy 29 days ago \| parent \| context \| favorite \| on: Ironclad – formally verified, real-time capable, U... > 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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact