Skip to content
View git-amd's full-sized avatar
11 followers · 1 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report git-amd

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
@ionchirica
smk ionchirica
@TomasGalvao
Tomas Galvao TomasGalvao

Portugal

@Maoaii
Lucas Girotto Maoaii

SafetyScope, LDA

@David-Antunes
David-Antunes David-Antunes
24 yo | Aspiring Kubernetes software Engineer ||| Roses are Red, Violets are blue, I like containers, So should you.

FCT - Universidade Nova de Lisboa Lisbon, Portugal

@mariojppereira
mariojppereira
@Jmmo-Gomes
João Gomes Jmmo-Gomes

FCT-UNL Viseu, Portugal

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@Molenga
Molenga
@bruno-anjos
Bruno Pitta Gros bruno-anjos
Backend Engineer @ Yapeal AG
@TeamSPoon
Douglas R. Miles TeamSPoon

@TeamSPoon https://github.com/logicmoo

@pmoura
Paulo Moura pmoura
Logtalk author, Logtalk and Prolog developer

Portugal