Skip to content
View pmderodat's full-sized avatar

Organizations

@AdaCore

Block or report pmderodat

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

TOML parser for Ada

Ada 37 8 Updated Aug 10, 2026

Language creation framework.

Ada 95 34 Updated Jul 28, 2026

Modular visual interface for GDB in Python

Python 12,239 821 Updated Jul 17, 2026

experimental YAML implementation in Ada

Ada 49 11 Updated Mar 5, 2026

Parsing ELF and DWARF in Python

Python 2,269 547 Updated Jul 30, 2026

Source repository for the GNAT Bare Metal BSPs

Ada 71 65 Updated Jul 30, 2026

Tiny testsuite for GCC’s DWARF/Ada debug information

Python 3 Updated Aug 1, 2017

Neovim front-end to gdb

Python 2 1 Updated Aug 3, 2017

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada 301 70 Updated Aug 12, 2026

GDB scripts for Ada programs built with GNAT

Python 18 3 Updated Jan 19, 2023

GNATcoverage: Coverage Analysis Tool

Ada 46 11 Updated Aug 11, 2026

Python scripts for GDB to make it easier to debug GCC

Python 5 Updated Sep 13, 2017

Simple audio synthesis library

Ada 36 6 Updated May 31, 2020

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

Ada 282 164 Updated Jul 8, 2026

Ada semantic analysis library.

Ada 169 48 Updated Jul 28, 2026

Tiny Ada wrapper around the LibYAML C library

Ada 3 Updated Feb 9, 2017

learn-ada-in-y-minutes

Ada 10 1 Updated May 29, 2017