Skip to content
View xrchz's full-sized avatar
128 followers · 4 following

Sponsoring

@zulip

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@CakeML @HOL-Theorem-Prover @verifereum

Block or report xrchz

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
@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

Jobleap.cn Japan

@SteelyNinja
SteelyNinja
@pirapira
Yoichi Hirai pirapira
Using this account for activities of Flamingo Ponderado Unipessoal LDA since 2025-07-09.

Flamingo Ponderado Unipessoal LDA Portugal

@slysify
slysify
@0xsignal
Signal Xu 0xsignal
Signal Received 🇨🇳 🇪🇺

Spain

@jchapamalacara
jchapamalacara
@NotThatDumb
Harvey Specter NotThatDumb
@msooseth
Mate Soos @ Argot msooseth
Formal Verification Engineer at the Argot Collective (formerly employed by the Ethereum Foundation). Personal account: @msoos

Argot Collective @argotorg Berlin, Germany

@technovision99
technovision99 technovision99
@0xalpharush
alpharush 0xalpharush

@asymmetric-research

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

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

Multiverse

@z3r086
Andreas Karg z3r086
NEW-WAVE

3V1L-Z3R0 Marl

@DarmorGamz
Darren Morrison DarmorGamz

@Darmor-Solutions Waterloo, Ontario

@shubh3794
Shubham Aggarwal shubh3794
I am a Senior Software Engineer at Amazon labs, an open source enthusiast. Contributor in Cpython. Former member of Computer Society of India

@amzn Bengaluru, India

@Mahmoudhpp
undefined Mahmoudhpp
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@pcaversaccio
sudo rm -rf --no-preserve-root / pcaversaccio
𝐖𝐨𝐫𝐤𝐢𝐧𝐠 𝐨𝐧 𝐰𝐡𝐚𝐭'𝐬 𝐧𝐞𝐱𝐭.

w021d

@z80dev
z80 z80dev
blockchain mainly, but also rust and clojure stuff
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@Zeel2163
ZEEL PATEL Zeel2163
SOFTWARE DEVELOPER

Mumbai, india

@psilospore
psilospore psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.

Acima Burlington, Vermont

@kylematoba
kylematoba
@okmatija
Matija Kecman okmatija

@google-deepmind London, UK

@mono300genuine
CowXfour mono300genuine
Play with Blockchain and AI 😃
@rsoeldner
rsoeldner
@KacperFKorban
Kacper Korban KacperFKorban

Lausanne, Switzerland

@fbsh
Baoshu Feng fbsh

Chicago, IL

@yetudada
Yetunde Dada yetudada
Technical Product Manager

@kedro-org @astronomer London

@TheFanatr
Yan TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.

\Device\HardDisk1

@OrestTa
Orest Tarasiuk | t1 OrestTa
Co-Founder & CTO @ 𝚝𝟷 | zkWarsaw | Past: Scroll, Cara Care, Knit

@t1protocol Warsaw (PL) | Berlin, NYC, ...

@KanteLabs
Amidou Kante KanteLabs
@0xRecruiter
0xRecruiter 0xRecruiter
Technical Recruiting | Building Teams that create next gen Blockchain Scaling Solutions | Recruiting for Blockchain Eng/Devs, Full-Stack Devs.

0xRecruiter

@robs-cse
Rob Sison robs-cse
There are few true mysteries in the world, but some of them are right here in Australia

Australia

@apples0226
apples0226
@melwyn95
Melwyn Saldanha melwyn95
OCaml | Compilers | Functional Programming

Rochester, NY

@Neustradamus
Neustradamus Neustradamus
@pmerkleplant
merkleplant pmerkleplant
EVM and cryptography nerd ++ research engineer building oracles @chronicleprotocol

@chronicleprotocol Ethereum

@DoTheBestToGetTheBest
tesseract DoTheBestToGetTheBest
@brozorec
Boyan Barakov brozorec

@OpenZeppelin Paris

@frankmchugh
bartholemewmchugh frankmchugh
@suimong
Ben suimong
@ArtDemocrat
ArtDemocrat
@Rjected
Dan Cline Rjected
Software Engineer
@0xdewy
Dewy 0xdewy

Vancouver

@lucyxliu
Lucy lucyxliu
Blockchain Researcher
@Litius778
Litius778 Litius778
On line thanks
@DrDoofus-MD-PhD-DDS
Dr Doofus DrDoofus-MD-PhD-DDS
Donations to drdoofus.eth
@esbenkc
Esben Kran esbenkc

Copenhagen, Denmark