egraphs-good
Users following egraphs-good
Oliver Greer
Oliver-Greer
EECS student at UC Berkeley interested in all things programming.
Berkeley, CA
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
Rajan Maghera
rajanmaghera
Researching compilers, PLs, verification; MSc student at @ProSE-uoft-org, prev at @ualberta
University of Toronto Toronto 🇨🇦
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
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
zack
zackgow
Cofounder & CTO at orita.ai | Data Scientist & ML Engineer | some guy on the internet
orita internet
Victor Smirnov
vityaman
DevTools, Compilers and DBMS Enjoyer.
ITMO University Russia, St. Petersburg
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
Mahmoud Rusty Abdelkader
mahmoudimus
Cryptography, Reverse Engineering, Fintech and Privacy
United States
Justin Chu
justinchuby
Code for the better. @microsoft AI Frameworks. Previously @google [x] (@theteamatx the Moonshot Factory); CMU.
@microsoft
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
PreviousNext