Trending repositories for topic ada
A curated list of awesome resources related to the Ada and SPARK programming language
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
The ledger implementation and specifications of the Cardano blockchain.
A curated list of awesome resources related to the Ada and SPARK programming language
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
The ledger implementation and specifications of the Cardano blockchain.
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.
The ledger implementation and specifications of the Cardano blockchain.
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.
A curated list of awesome resources related to the Ada and SPARK programming language
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
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
The ledger implementation and specifications of the Cardano blockchain.
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
PowerJoular allows monitoring power consumption of multiple platforms and processes.
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada Web Application - Framework to build high performance secure web applications
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.
Command-line tool from the Alire project and supporting library
A curated list of awesome resources related to the Ada and SPARK programming language
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
PowerJoular allows monitoring power consumption of multiple platforms and processes.
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada Web Application - Framework to build high performance secure web applications
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
The ledger implementation and specifications of the Cardano blockchain.
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
PowerJoular allows monitoring power consumption of multiple platforms and processes.
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.
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.
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)
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
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
👾 notes and resources on cryptography, cryptocurrencies, and cypherpunk living for the autistic cypherpunk anons out there
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
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.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.