Statistics for topic ada
RepositoryStats tracks 631,397 Github repositories, of these 39 are tagged with the ada topic. The most common primary language for repositories using this topic is Ada (22).
Stargazers over time for topic ada
Most starred repositories for topic ada (view more)
Trending repositories for topic ada (view more)
A curated list of awesome resources related to the Ada and SPARK programming language
A curated list of awesome resources related to the Ada and SPARK programming language
Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.
A curated list of awesome resources related to the Ada and SPARK programming language
Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.
A curated list of awesome resources related to the Ada and SPARK programming language
Command-line tool from the Alire project and supporting library
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.
Command-line tool from the Alire project and supporting library
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
A curated list of awesome resources related to the Ada and SPARK programming language
Command-line tool from the Alire project and supporting library
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
PowerJoular allows monitoring power consumption of multiple platforms and processes.