Statistics for topic ada
RepositoryStats tracks 609,028 Github repositories, of these 35 are tagged with the ada topic. The most common primary language for repositories using this topic is Ada (21).
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
The ledger implementation and specifications of the Cardano blockchain.
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
The ledger implementation and specifications of the Cardano blockchain.
A curated list of awesome resources related to the Ada and SPARK programming language
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
A curated list of awesome resources related to the Ada and SPARK programming language
The ledger implementation and specifications of the Cardano blockchain.
Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); wor...
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); wor...
A curated list of awesome resources related to the Ada and SPARK programming language
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
The ledger implementation and specifications of the Cardano blockchain.
A curated list of awesome resources related to the Ada and SPARK programming language
Command-line tool from the Alire project and supporting library
The ledger implementation and specifications of the Cardano blockchain.
PowerJoular allows monitoring power consumption of multiple platforms and processes.