Statistics for language Ada
RepositoryStats tracks 534,796 Github repositories, of these 44 are reported to use a primary language of Ada.
Most starred repositories for language Ada (view more)
Trending repositories for language Ada (view more)
A demo of best practices for open-source Ada/SPARK development
Command-line tool from the Alire project and supporting library
A demo of best practices for open-source Ada/SPARK development
Command-line tool from the Alire project and supporting library
A demo of best practices for open-source Ada/SPARK development
Server implementing the Microsoft Language Protocol for Ada and SPARK
A demo of best practices for open-source Ada/SPARK development
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Command-line tool from the Alire project and supporting library
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Server implementing the Microsoft Language Protocol for Ada and SPARK
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Vanity address generator for The Open Network blockchain wallets
A demo of best practices for open-source Ada/SPARK development