Skip to content
View MatthewFluet's full-sized avatar

Highlights

  • Pro

Organizations

@standardml @MLton

Block or report MatthewFluet

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
@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

Vienna, Austria

@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

Jobleap.cn Japan

@soumyadsanyal
Soumya D. Sanyal soumyadsanyal
Engineering and Data Leader.

New York, NY

@TravisWhitaker
Travis Whitaker TravisWhitaker

Anduril Industries Orange County, California

@zlonast
Ilya Baryshnikov zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
@Gasahorlogo
Jianghao Gasahorlogo You Gasahorlogo
Dentopastのl〇af世纪

Wonderful New World

@salvrz
Stevie Alvarez salvrz

Google Massachusetts

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

@facebook The edge of knowing

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

Multiverse

@Hacker-Sam-is-here
Sameer Hacker-Sam-is-here
Primera

Sam Industries Earth

@mowhn
mr_mowhn mowhn
I focus on gaining knowledge and creating projects for fun.
@shanyu-sys
Shan Yu shanyu-sys
Ph.D. student @uclasystem

UCLA Los Angeles

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@wlc015f
licheng wlc015f
live more with less
@AbooMinister25
Rayyan Cyclegar AbooMinister25
Incoming CS student at Purdue University. Staff at @python-discord.

@python-discord @vipyrsec Washington D.C.

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@melwyn95
Melwyn Saldanha melwyn95
OCaml | Compilers | Functional Programming

Rochester, NY

@zmughal
Zaki Mughal [sivoais] zmughal
biomedical image analysis (@CBL-ORION), scientific computing (@EntropyOrg, @PDLPorters), tool for thought (@project-renard). E-mail me if you want to chat!

Washington, D.C. - Baltimore, Maryland area, United States of America, Earth, Galactic Sector ZZ9 Plural Z Alpha

@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

@iraikov
Ivan Raikov iraikov

Stanford University Belmont, CA, USA

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@RobertHarper
Robert Harper RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

Carnegie Mellon University Pittsburgh PA

@dmacqueen
David MacQueen dmacqueen
Works on programming language design, semantics, and implementation. Particularly modules and type systems and type checking, and the SML/NJ compiler.

University of Chicago Los Gatos, CA

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

LASIGE, University of Lisbon Lisboa, Portugal