> It is written in SPARK and Ada, and is comprised of 100% free software. I thou... | Hacker News

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

		alberth 46 days ago \| parent \| context \| favorite \| on: Ironclad – formally verified, real-time capable, U... > 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 46 days 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://alire.ada.dev/transition_from_gnat_community.html

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