Skip to content
View raph-amiard's full-sized avatar
76 followers · 20 following
  • AdaCore
  • Paris

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2

Organizations

@AdaCore

Block or report raph-amiard

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

Stars

5 results for sponsorable starred repositories
Clear filter

vhanla / github-windows-classic

Give GitHub a Windows Classic look

CSS 17 2 Updated Jun 11, 2018

flyx / OpenGLAda

Thick Ada binding for OpenGL and GLFW

Ada 97 13 Updated Sep 8, 2022

python / mypy

Optional static typing for Python

Python 18,856 2,873 Updated Jan 25, 2025

emeryberger / Hoard

The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, and Mac.

C++ 1,124 131 Updated Aug 2, 2024

cyberdelia / bang

Bang! Load your web app.

Go 1 Updated Jun 2, 2013