Trending repositories for language Ada
Command-line tool from the Alire project and supporting library
AdaCAD is an experimental workspace that applies parametric design to the domain of weave drafting. It supports algorithmic and playful approaches to developing woven structures and cloth, for shaft a...
Server implementing the Microsoft Language Protocol for Ada and SPARK
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
AdaCAD is an experimental workspace that applies parametric design to the domain of weave drafting. It supports algorithmic and playful approaches to developing woven structures and cloth, for shaft a...
Command-line tool from the Alire project and supporting library
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Server implementing the Microsoft Language Protocol for Ada and SPARK
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Command-line tool from the Alire project and supporting library
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
AdaCAD is an experimental workspace that applies parametric design to the domain of weave drafting. It supports algorithmic and playful approaches to developing woven structures and cloth, for shaft a...
SPARK 2014 re-implementation of the TweetNaCl crypto library
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Vanity address generator for The Open Network blockchain wallets
PowerJoular allows monitoring power consumption of multiple platforms and processes.
AdaCAD is an experimental workspace that applies parametric design to the domain of weave drafting. It supports algorithmic and playful approaches to developing woven structures and cloth, for shaft a...
Command-line tool from the Alire project and supporting library
A demo of best practices for open-source Ada/SPARK development
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
Server implementing the Microsoft Language Protocol for Ada and SPARK
SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.