Trending repositories for topic ada
Command-line tool from the Alire project and supporting library
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
A curated list of awesome resources related to the Ada and SPARK programming language
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Command-line tool from the Alire project and supporting library
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
A curated list of awesome resources related to the Ada and SPARK programming language
Command-line tool from the Alire project and supporting library
A curated list of awesome resources related to the Ada and SPARK programming language
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
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...
The ledger implementation and specifications of the Cardano blockchain.
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
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...
Command-line tool from the Alire project and supporting library
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
The ledger implementation and specifications of the Cardano blockchain.
A curated list of awesome resources related to the Ada and SPARK programming language
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)
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.
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
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)
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Command-line tool from the Alire project and supporting library
A curated list of awesome resources related to the Ada and SPARK programming language
The ledger implementation and specifications of the Cardano blockchain.
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
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...
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines