Trending repositories for language Ada

Vanity address generator for The Open Network blockchain wallets

Command-line tool from the Alire project and supporting library

Simple Turn-based Game

Vanity address generator for The Open Network blockchain wallets

Command-line tool from the Alire project and supporting library

Simple Turn-based Game

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Simple Turn-based Game

A demo of best practices for open-source Ada/SPARK development

LLVM based GNAT compiler

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

Ada WASM Runtime and Bindings for Web API

PowerJoular allows monitoring power consumption of multiple platforms and processes.

The OpenGL 4.6 Rendering Kernel in Ada 2012

William Whitaker's WORDS, a Latin dictionary

A demo of best practices for open-source Ada/SPARK development

Ada WASM Runtime and Bindings for Web API

PowerJoular allows monitoring power consumption of multiple platforms and processes.

Simple Turn-based Game

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

The OpenGL 4.6 Rendering Kernel in Ada 2012

LLVM based GNAT compiler

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

William Whitaker's WORDS, a Latin dictionary

Simple Turn-based Game

Adamant - An embedded software framework

Simple Turn-based Game

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Command-line tool from the Alire project and supporting library

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Server implementing the Microsoft Language Protocol for Ada and SPARK

LLVM based GNAT compiler

Adamant - An embedded software framework

William Whitaker's WORDS, a Latin dictionary

PowerJoular allows monitoring power consumption of multiple platforms and processes.

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

SPARK 2014 re-implementation of the TweetNaCl crypto library

Vanity address generator for The Open Network blockchain wallets

Context-based code search tool

Official mirror of the Muen Separation Kernel repository

Sources for learn.adacore.com

AWS is a complete framework to develop Web based applications in Ada.

Ada semantic analysis library.

Ada drivers for the Raspberry Pi RP2040 SoC

Ada 2022 bindings to SDL 2

Simple Turn-based Game

PowerJoular allows monitoring power consumption of multiple platforms and processes.

Vanity address generator for The Open Network blockchain wallets

Ada drivers for the Raspberry Pi RP2040 SoC

A demo of best practices for open-source Ada/SPARK development

Command-line tool from the Alire project and supporting library

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Official mirror of the Muen Separation Kernel repository

LLVM based GNAT compiler

SPARK 2014 re-implementation of the TweetNaCl crypto library

Ada WASM Runtime and Bindings for Web API

Sources for learn.adacore.com

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

Server implementing the Microsoft Language Protocol for Ada and SPARK

The OpenGL 4.6 Rendering Kernel in Ada 2012

An Ada binding generator from SVD descriptions for bare board ARM devices.

Source repository for the GNAT Bare Metal BSPs

AWS is a complete framework to develop Web based applications in Ada.