Skip to content
View Madtail's full-sized avatar
🩸
🩸
9 followers · 41 following
  • Sweden
  • 19:34 (UTC +01:00)

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report Madtail

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 (15)

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

Starred repositories

6 stars written in Ada
Clear filter

AdaCore / gnatstudio

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

Ada 497 62 Updated Mar 27, 2026

AdaCore / Ada_Drivers_Library

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

Ada 277 157 Updated Mar 28, 2026

codelabs-ch / muen

Official mirror of the Muen Separation Kernel repository

Ada 95 14 Updated Mar 4, 2026

Lucretia / bare_bones

Ada Bare Bones OS development tutorial source code

Ada 90 11 Updated Nov 20, 2016

AdaCore / gprbuild

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

Ada 78 20 Updated Mar 27, 2026

annexi-strayline / AURA

The AURA Reference Implementation

Ada 24 Updated Jul 16, 2025

Starred topics