Skip to content
View hargoniX's full-sized avatar
  • Lean FRO
  • Munich, Germany
  • 20:23 (UTC +02:00)

Organizations

@genua @rust-lang @nunchaku-inria @rust-embedded @ApoapsisHGV @stm32-rs @pokeraigym @AeroRust @ht32-rs

Block or report hargoniX

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
@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@helallao
Ali Yaşar helallao

@Metakorteks Adana, Turkey

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@parsaa74
Parsa Azari parsaa74
Developer/Designer

Tehran, Iran

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@aiziks
adedayoisaac aiziks

@aiziksinfotech Ogbomoso

@wkrozowski
Wojciech Rozowski wkrozowski
PhD candidate in Programming Principles, Logic and Verification group @ University College London | Research Software Engineer @ Lean FRO

@UCL-PPLV @leanprover London

@MohammedSharukh
Mohammed Sharukh A MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics

PlanetSpark Kerala, India

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

Multiverse

@LilaSkii01
Lingyin Luo LilaSkii01
for homework and other Uni stuffs.

Munich

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@SeshatCZ
SeshatCZ

Czech republic

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

Xanadu Canada

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@he0x
he0x
i am just a bot stars interesting projects
@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@Aayushcosmic123
Aayush Geete Aayushcosmic123
Rusticean, want to contribute to open source and grow in the community.
@James-Oswald
James Oswald James-Oswald
Computer Science PhD student @RPI. Researcher at the @RAIRLab.

@RAIRLab Troy, New York, USA

@luisacicolini
Luisa Cicolini luisacicolini
CS graduate, creativity enthusiast

University of Cambridge, @opencompl Cambridge

@Bct-crypto
T.S. Chief Bct-crypto
Blockchain Developer | Full Stack developer

Blockchain developer

@ashandoak
Ashley Blacquiere ashandoak
Sr. Ops. Manager @leanprover

@leanprover Vancouver

@ismailarilik
İsmail Arılık ismailarilik
Web Artisan | MyJob == MyIkigai | Husband and Father

ismailarilik Denizli / Turkey

@contificate
Colin James contificate
Interested in compilers for strict functional languages.

Glasgow, Scotland

@palash25
Palash Nigam palash25
GeneralistPolyglotDev | Previously: @percona @interviewstreet | LFX Intern @cncf | @atlanhq | @appbaseio | GSoC @coala

(f)unemployed Remote

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@AtticusKuhn
Atticus Kuhn AtticusKuhn
Computer Science Student at Trinity College, Cambridge

Cambridge, United Kingdom

@alexkeizer
Alex Keizer alexkeizer
PhD Student @ University of Cambridge

University of Cambridge Cambridge

@shigoel
Shilpi Goel shigoel
Applied Scientist at AWS

Austin, TX

@abhishekkr8399
ABHISHEK KUMAR abhishekkr8399
🏆 Competitive Programmer | 🚀 Aspiring Software Engineer | 🧠 Analytical & Problem-Solving Skills | 💻 Web & Mobile Development | 📢 Seeking Job Opportunity

N/A Bengaluru, Karnataka, India

@BenitoJD
Benito J D BenitoJD
Engineer in the making | Passionate about crafting affordable, efficient, and innovative solutions | Open to collaborations with profit-driven visionaries

TCS Trivandrum

@fslmultiservice22
Trading23 fslmultiservice22
Trading.

@fslmultiservice Via Cadibona 9

@Kiiyya
Max Kiiyya
I like doing funky things with Lean 4, type theory, semantics of programming languages.

Karlsruhe, Germany

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Proxima Technology Japan