1.alire-project / alireCommand-line tool from the Alire project and supporting libraryadaada-2012package-managerpackage-manager-toolpackage-managementreproducible-buildsAdaGPL-3.0418 total65 forks+3 starsfrom 415 · score 1.39
2.AdaCore / spark2014SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.AdaGPL-3.0332 total48 forks+1 starsfrom 331 · score 0.69
3.joular / powerjoularPowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOSadaenergygreenpowersoftwarejoular+5 moreAdaGPL-3.0122 total24 forks+1 starsfrom 121 · score 0.69
5.CKWG / SI_Units-Checked-and-UncheckedAda packages for handling SI units of measureAdaGPL-3.05 total0 forks+1 starsfrom 4 · score 0.69