Skip to content
View pabloski80's full-sized avatar
16 followers · 367 following

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Block or report pabloski80

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

Lists (16)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

4 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 287 39 Updated Nov 6, 2025

AdaCore / libadalang

Ada semantic analysis library.

Ada 160 46 Updated Nov 6, 2025

rod-chapman / SPARKNaCl

SPARK 2014 re-implementation of the TweetNaCl crypto library

Ada 123 10 Updated Mar 17, 2025

AdaCore / learn

Sources for learn.adacore.com

Ada 107 42 Updated Nov 1, 2025

Starred topics