leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Nicole Frontero
nfrontero20
Master's in Computational Biology Candidate at Universidad Politécnica de Madrid
Madrid, Spain
Amherst College Loeb Center Tech + Quant Resources
Amherst-College-Loeb-Center
Everyone’s career path is unique. Whether you’re a first year or a senior, we offer resources and advising to help you consider and shape your own way forward.
United States of America
Maxi Attiogbe
maxiattiogbe
MIT senior AI major & Math minor
ML research/engineering for drug discovery, healthcare, food tech, recommendation, search, robots, self-driving cars, and XR
Ideas 2 Innovation - Engineering @ Amherst College
ac-i2i-engineering
United States of America
freeCodeCamp.org
freeCodeCamp
Learn to code for free with millions of other people around the world
United States of America
Dhyey Mavani
dmavani25
I am a avid coder and interested in intersection of Computer Science, Data Science and Economics along with the skills like Math, Statistics and Logic.
@amherstcollege @acdmammoths @aws @linkedin Amherst, MA, USA
Amherst College Quant Club
ACquantclub
Amherst College's Premier Quant Club, where we engage in competitions & knowledge-sharing regarding quantitative research, software development & trading.
Amherst, MA
Maria-Cristiana Gîrjău
mcgirjau
Statistics PhD student at Columbia University. Bachelor's in CS, Math, and Stats from Amherst College.
Columbia University New York City
Luka Duranovic
lduranovic
Second-year Duke Computer Science Ph.D. student
Duke University Durham, NC
Lovemore Nyaumwe
LovemoreNyaumwe
I am a current student of Computer Science at Amherst College who loves impacting people and tackling modern problems.
Amherst
Packt
PacktPublishing
Providing books, eBooks, video tutorials, and articles for IT developers, administrators, and users.
Birmingham, UK
Samarth Goel
sgoel97
UC Berkeley | Builder, Problem-Solver, and Amateur Gymnast
UC Berkeley Berkeley, CA
Amherst College Data* Mammoths
acdmammoths
The Amherst College Data* Mammoths Learning & Research Group, led by Prof. Matteo Riondato
Amherst, MA
Pho T. Vu
vutrananpho
Undergraduate @yonseiuniversity ('23) studying UI/UX Design. Currently exchanging at CS Department @AmherstCollege ('22)
@AmherstCollege Seoul-ICN, KR ↔︎ Amherst, MA
Jonas Raoni Soares da Silva
jonasraoni
Empire of atoms, polyglot developer, father, sugar addict, creator of @JSFromHell.
Software Architect @dxc-technology @PKP
Nicholas Horton
nicholasjhorton
Biostatistician, juggler, and advocate for improved statistical computing in statistics and data science education
Amherst College Department of Mathematics and Statistics, @Amherst-Statistics Amherst, MA
Arjun Kejriwal
arjunkejriwal2310
Codes in Java, Python, R, SQL, C, and Assembly.
Amherst College Amherst, Massachusetts