Skip to content
View clayrat's full-sized avatar
292 followers · 139 following

Achievements

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

Achievements

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

Organizations

@imdea-software @statebox @purescripters @typedefs @rocq-community @dpndnt @sequents

Block or report clayrat

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
@jongleb
jongleb
@MartimVideira
Martim Videira MartimVideira
@bdmendes
Bruno Mendes bdmendes

@adzerk Porto, Portugal

@Jumaruba
Juliane Marubayashi Jumaruba
Software Engineer, at Kevel

Kevel Portugal - Porto

@AlecsFerra
Alessio AlecsFerra
PhD Student @imdea-software

IMDEA Software Institute Madrid, Spain

@YTSHAZI
Md Muzzammil YTSHAZI
@merveilleux23
merveilleux23
Bad Mhn
@anton0xf
anton0xf anton0xf

Eburg

@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

Vienna, Austria

@Morilind
Alex Morilind
@dancewithheart
Piotr Paradziński dancewithheart
I used to be @lemastero
@TurtlePU
TurtlePU
@Neustradamus
Neustradamus Neustradamus
@lalomorales22
lalo adrian morales lalomorales22
sd, ca | I make software for myself

@Comedeez-AI San Diego, CA

@GulinSS
Serge S. Gulin GulinSS
The road to yourself has no return tickets. We are no longer young, but we are still angry.
@nnarek
nnarek
@Connor9994
Connor Connor9994
@ejmin91
ejmin91
Research Scientist
@syedbilalalam1
Syed Bilal Alam syedbilalalam1
git commits to me.

BTT - intl Karachi

@ArduinoAficionado
Arduino Aficionado ArduinoAficionado
Tinkerer, Maker, Hacker, Optimist.

Arduino Aficionado Detroit

@shraddhabarke
Shraddha Barke shraddhabarke
Senior Researcher at RiSE (Microsoft Research)

Microsoft Research Seattle

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@veyselusta
veysel veyselusta
@duyu09
Du Yu duyu09
Du Yu (杜宇; Đỗ Vũ), BEng in Software Engineering, QLU; MEng candidate in Computer Science & Technology, LZJTU. Research focus: ML / Data Mining / NLP.

Lanzhou Jiaotong University (蘭州交通大學; Đại học Giao thông Lan Châu) Jinan, Shandong Province, P.R.China / Lanzhou, Gansu Province, P.R.China (中國山東省濟南市/中國甘肅省蘭州市; TP.Tế Nam, Tỉnh Sơn Đông, TQ / TP.Lan Châu, Tỉnh Cam Túc, TQ)

@kevinlopaq
Kevin López-Aquino kevinlopaq

IMDEA Software Madrid, Spain

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

san francisco

@z3r086
Andreas Karg z3r086
NEW-WAVE

3V1L-Z3R0 Marl

@djtrack16
Darius Liddell djtrack16
books, code, aestheticism, and all the rest
@CxBug
Muhammed CxBug

berlin

@aljaber131
aljaber131
@novusnota
Novus Nota novusnota
Amateur Tree-sitter-sitter. UX, DX, and *X aficionado. If only you knew the power of the Dart side...

Remote

@hirrolot
hirrolot
At any cost, but for free
@lambdajon
λjon lambdajon
I build sofware. Love Open source and free sofware.
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@ahmedhamd123
AHMED.H HARBOOD ahmedhamd123
@exceptionSPG
Shiva Gyawali exceptionSPG
Software Cybersecurity | System Security | DevSecOps | Bibliophile | LLMs in Cybersecurity | YouTube Content Creator
@jelspace
21world jelspace
.new. LOTTERY FORCED MARRIAGE(entire population) + BASIC INCOME is give free money for all,opposite to: forced take VAT tax from all

BASIC INCOME is free money for all , opposite to VAT tax , for prevent from demonetization

@vi241
vi vi241
@RoiuGit
RoiuGit
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@zlonast
Ilya Baryshnikov zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@hu8813
hüseyin kaya aydin hu8813

Vienna, Austria

@penguin-boxx
Andrey Stoyan penguin-boxx

Saint Petersburg

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@hmltn-0
Julius Hamilton hmltn-0
Developer honing skills in system design, project management, and full stack. Focused on SQL, data science, and category theory. Let's innovate together.

Hamilton, Inc. Salt Lake City

@shhyou
shuhung shhyou

Taipei, Taiwan

@thelissimus
kei thelissimus
Type Theory, Compiler Engineering, Formal Verification.

Imiron Type 0