Trending repositories for topic ada
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
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
A curated list of awesome resources related to the Ada and SPARK programming language
Command-line tool from the Alire project and supporting library
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
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)
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
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
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
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
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
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.
PowerJoular allows monitoring power consumption of multiple platforms and processes.
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 Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Web Application - Framework to build high performance secure web applications
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
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
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
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64