SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
58,136 visible repositories in the index
1–3 of 3 · Most stars
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size