Skip to content
View ycollet's full-sized avatar

Block or report ycollet

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
14 stars written in Ada
Clear filter

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

Ada 287 39 Updated Nov 6, 2025

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada 274 65 Updated Nov 5, 2025

Ada semantic analysis library.

Ada 160 46 Updated Nov 4, 2025

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

Ada 149 39 Updated Nov 4, 2025

Language creation framework.

Ada 88 34 Updated Oct 31, 2025

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

Ada 78 20 Updated Oct 30, 2025

High level string and text processing library

Ada 60 9 Updated Sep 1, 2025

Simple audio synthesis library

Ada 35 6 Updated May 31, 2020

A startup code generator for embedded projects

Ada 32 10 Updated Oct 14, 2025
Ada 21 5 Updated Sep 10, 2024
Ada 18 6 Updated Oct 14, 2025

AWS templates engine.

Ada 10 18 Updated Oct 14, 2025
Ada 2 Updated Jun 24, 2025

GPR2 based unit provider for Libadalang

Ada 2 1 Updated Aug 21, 2023