Skip to content
View demcgovern's full-sized avatar
33 followers · 315 following
  • Inter-State Studio
  • United States of America

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report demcgovern

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

Starred repositories

6 stars written in Ada
Clear filter

AdaCore / gnatstudio

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

Ada 498 62 Updated Apr 3, 2026

alire-project / alire

Command-line tool from the Alire project and supporting library

Ada 373 60 Updated Apr 1, 2026

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada 292 68 Updated Apr 3, 2026

AdaCore / libadalang

Ada semantic analysis library.

Ada 167 47 Updated Apr 2, 2026

AdaCore / gprbuild

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

Ada 78 20 Updated Mar 31, 2026

johnperry-math / AoC2023

2023 Advent of Code in Ada

Ada 36 1 Updated Oct 10, 2025

Starred topics

See all starred topics