Skip to content
View CAIMEOX's full-sized avatar
💭
🎲
💭
🎲
115 followers · 46 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

Block or Report

Block or report CAIMEOX

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Lists (13)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.
Type: All
Language: Ada
Sort by: Most stars

Starred repositories

2 stars written in Ada
Clear filter

AdaCore / spark2014

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

Ada 243 33 Updated Jul 12, 2024

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Ada 103 6 Updated Jul 11, 2024

Starred topics

See all starred topics