Skip to content

@egraphs-good egraphs-good

Users following egraphs-good

@elyulka
Eugene Lyulka elyulka
@ignite720
ignite720
minimalist
@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy

@Unnamed2964
Umaichi Unnamed2964
Metro / not cute 🍥MtX

Jilin

@seanwevans
Sean Evans seanwevans

🥚 Long Island, NY

@brancengregory
Brancen Gregory brancengregory

@openjusticeok Tulsa, Oklahoma

@colinrford
Colin Ford colinrford
@rajanmaghera
Rajan Maghera rajanmaghera
Researching compilers, PLs, verification; MSc student at @ProSE-uoft-org, prev at @ualberta

University of Toronto Toronto 🇨🇦

@Utishnik
Yarik Utishnik
- Hi, I'm Yarik - I'm interested in science - I'm learning programming now -my tik-tok accaunt - https://www.tiktok.com/@yarik_1207?lang=ru-RU
@kliymkoffsky
Paweł Klimkowski kliymkoffsky
walking random walk. mle, swe, data; computational design.

🌍

@mex7xx
mex7xx
@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@shamansir
Ulric Wilfred shamansir
computer graphics, m○stly generated. ⸬ any λanguage, but ƒunctional ones are preferred. punk of a progr⭑mming. made nice stuff. still doing nice stuff.

Munich, Germany

@baloneymath
Hao Chen baloneymath
@wasabi315
Satoshi Takimoto wasabi315
Functional programming, theorem proving

Japan

@Wenhui-Liang
Wenhui-Liang
@balp-jbt
Baiting Jiang balp-jbt

Tsinghua University

@cervoliu
Cervol Liu cervoliu
Master Student, Interested in {PL, Formal Verification, Compilers, HPC}

Beijing

@johnslavik
Bartosz Sławecki johnslavik
I am a magnet for pre-existing bugs. @python @mkdocstrings

@PandaDoc Poland

@ignaciosica
Ignacio Sica ignaciosica
@dkapt
Dimitrios Kapetanios dkapt

Greece

@noahhuck
Noah Huck noahhuck
@csavur
Celal Savur csavur

Intel Corporation Hillsboro, OR

@nimr0d
Nimrod nimr0d

New York

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@zackgow
zack zackgow
Cofounder & CTO at orita.ai | Data Scientist & ML Engineer | some guy on the internet

orita internet

@vityaman
Victor Smirnov vityaman
DevTools, Compilers and DBMS Enjoyer

ITMO University Russia, St. Petersburg

@chaijie2018
柴杰 chaijie2018
Compiler & RISC-V

Shanghai, China

@rjeye
Rohit Jayanti rjeye
Pursuing Masters by Research in CSE @ IIIT-Hyderabad | Strengthening core competencies in 3D Vision, Mobile Robotics, and Real-Time AR/XR system building

Robotics Research Center, IIIT-H Hyderabad

@matthewjgunton
Matthew Gunton matthewjgunton
My name is Matthew Gunton
@mahmoudimus
Mahmoud Rusty Abdelkader mahmoudimus
Cryptography, Reverse Engineering, Fintech and Privacy

United States

@TJU-PanYizhe
Tony Pan TJU-PanYizhe
Life will always find its way.

TJU Tianjin University Beijing China

@bojle
Shreeyash Pandey bojle
Compiler Engineer

Qualcomm

@MilkBlock
MilkBlock

China Hangzhou

@Mineorbit
mineorbit Mineorbit
M Stillger

TU Darmstadt Darmstadt

@willruggiano
Will Ruggiano willruggiano
Nix, Neovim and C++
@justinchuby
Justin Chu justinchuby
Code for the better. @microsoft AI Frameworks. Previously @google [x] (@theteamatx the Moonshot Factory); CMU.

@microsoft

@swap357
Swapnil Patel swap357
@LittleBlackCQ
Kezhi Li LittleBlackCQ
Ph.D. candidate in CUHK majoring in CSE.

Shanghai

@ShabbirHasan1
Xor Byte ShabbirHasan1
@younes-io
Younes younes-io
dev@younes.io
@plumenator
Karthik Ravikanti plumenator

Singapore

@vasucp1207
Vasu Singh vasucp1207

@vicharak-in India

@L-m-dev
L L-m-dev
Fun

Brazil Brazil

@konn
Hiromi Ishii konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.

Jij, Inc. @Jij-inc Tokyo

@cod1r
Jason Ho cod1r
@rgaither
Rod Gaither rgaither
ERP developer, programming language nut, old timer, gamer.

North Carolina

@Endeavor-19
Endeavor-19
@Ivecia
Sen Zhang Ivecia
Ph.D. student at the University of Science and Technology of China. Focusing on microarchitecture and machine learning system for GPU.

University of Science and Technology of China

@ivkecodye
ivke ivkecodye
Full Stack Developer | Engineer of Electrical and Computer Engineering | Python coding | ReactJS | Machine Learning

Pert WA