Spark is an open-source AI framework that evaluates promotional assets (thumbnails, key art, banners) on two dimensions: effectiveness (how well the asset drives engagement) and authenticity (how a...
Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.
Software Intelligence Works (Uninvited LLP)
Cristian Simon (streaksu)