Skip to content

@mit-plv Programming Languages and Verification Group at MIT CSAIL

Users following mit-plv

@gambling-addict
ryk gambling-addict
usually offtab⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ sign my ata/strwpg plz

the pimples on my back @the-divine-feminine @shevfs @SkateboardPhightingLovr69 @Printerbattle @swordsaaro @KALININGRAD-OBLAST @kyuparin cuds always ok, you don't have to ask

@Hyunsoo1030
Hyunsoo Lee Hyunsoo1030
Undergraduate Student @ POSTECH

POSTECH Pohang University of Science and Technology

@archit-rastogi
Archit Rastogi archit-rastogi
Computer science enthusiast.

Bangalore

@jasonph314
Jason Hong jasonph314
@2005ikram
HAMZA IKRAM 2005ikram
Engineering student passionate about continuous learning ,problem solving ,and modeling .I use GitHub to document my projects and share knowledge.

Engennering student ALGERIA

@ava179
ava179
@jjakpor
Jibiana Jakpor jjakpor
Studying computer science at Stanford University
@nbajpai-code
nbajpai-code
@JustCommonUsername
Yan Farba JustCommonUsername
Student @rub, Research Assistant @hn-rg

Max-Planck Institute for Security and Privacy Germany

@abhamra
Arjun Bhamra abhamra
GT CS '26, quantum computing and compilers
@rj4zz
Яitz rj4zz
@flandrade
Fernanda Andrade flandrade
@vzsky
my99N vzsky
@Datawitch-Programmer
Datawitch-Programmer
@sunny-g
Sunny Gonnabathula sunny-g

@federato Austin, TX

@FrMahon
Fran Mahon FrMahon
✖️​Full-stack Developerㅤㅤㅤㅤㅤㅤㅤ ✖️​​Data Scientist

@cooperativaObrera Argentina

@rcosta-git
Rob Costa rcosta-git
Systems developer and entrepreneur. RSI alum and triple jumbo (Tufts University). Math, CS, finance, Russian, and philosophy.
@akp2003
Arshak Parsa akp2003

Tehran

@ErickOF
Erick Andrés Obregón Fonseca ErickOF
Computer Engineering. MSc. in Electronics student. SoC Design Engineer. AI enthusiast.

Intel Corporation Cartago, Costa Rica

@cryptooooooo
crpt cryptooooooo
goooo
@ingehap
Inge H. A. Pettersen ingehap
Born in the previous century
@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@paulyupeng
paulyupeng
@srctkrs
tkrs srctkrs
newb scriptkiddie looking for configs

vi från gatan VFG Landskrona

@xuanYang
xuan-gottfried Yang xuanYang

independent researcher Germany

@aqingaaaa
aqinga aqingaaaa
aa
@iamoeg
Oussama EL GHANNAMI iamoeg

Morocco

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@seanpm2001
Sean P. Myrick V19.1.7.2 seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.

Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>

@jiangsy
Shengyi Jiang jiangsy
@josh28x
Joshua Lara josh28x

Sydney

@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@shzaiz
Guangwei Zhang (AUGPath) shzaiz
Senior undergraduate, gwzhang @ CUG CS

China University of Geosciences(Wuhan) Wuhan, Hubei

@Emin017
Qiming Chu Emin017

Shenzhen, China

@lucasbrixner
Lucas Brixner Riça lucasbrixner

@FazCapital Porto Alegre, Brazil

@brainwavecoder9
Daniel Ritchie brainwavecoder9
Founding Member @brainwavecollective

Brain Wave Collective

@ZwPwn
ZwAwesome ZwPwn
@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 16y/o

>_

@treecko16
treecko treecko16
(Most of my code isn't on Github.) Budding professional able to quickly understand and improve complex systems. Seeking an engineering position.

UK

@LGC33
LGC33
@houseofcybersecurity
House of Cybersecurity houseofcybersecurity
Never let anyone tell you that your story isn't worth sharing.

Reverse Engineer - Vulnerability Researcher Eastern South America, bordering the Atlantic Ocean

@Lindesfarne
Lindesfarne
@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@jonnynut
jonnynut
@daejungkim
Daejung Kim daejungkim
Software Engineer

LG Electronics Inc.

@ahndmal
Andrii Maliuta ahndmal
Developing custom staff for @atlassian 's Confluence/Jira @Sumy-Coding

AC Ukraine

@shivanibhat24
Shivani Bhat shivanibhat24
I play games, just with my board. Aspiring Hardware Engineer!

Mumbai

@openweb
Allen Long openweb
Developer

huihoo China

@alberrttt
Albert Hong alberrttt
@TateGunning
Tate Gunning TateGunning
Creating win-win development objectives by advancing universal rights, using open source technology without bias.

Gunning Global Arizona, USA