Skip to content

@lean-dojo LeanDojo

Users following lean-dojo

@HaydenLeBaron
Hayden LeBaron HaydenLeBaron
Functional programming enthusiast. Interested in type theory, formal logic, and Byzantium.

Salt Lake City, UT

@Stars1233
Stars trek Stars1233
I'm student . I don't know anything . 🤭
@cherryroots
Cherry cherryroots
Salmon farmer and hobby programmer

Norway

@whxvd
Sebastian Miele whxvd
@henrhie
Henry Ansah henrhie

United States

@chung-thai-nguyen
Chung Thai Nguyen chung-thai-nguyen
Vibe coder. Verifiable computation.

Vietnam

@Andrewnetwork
Andrew Ribeiro Andrewnetwork

Danbury, CT

@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

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

Jobleap.cn Japan

@heitopai
heitopai heitopai
@toolazyhhh
toolazyhhh
@aleeusgr
Fifty aleeusgr
a writer and a sailor, a hacker. Developer Advocate at @IntersectMBO Open Source Office.
@SoftwrDev
Gabriel Silva SoftwrDev
Higher

Remote

@swhawes
swhawes
@Josh-Tilles
Josh Tilles Josh-Tilles
@ShreckYe
Yongshun Ye ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast

Chengdu

@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@fkatada
frank fkatada

ph

@wadkisson
Will wadkisson
:)

St. Louis

@aaspeel
Antoine Aspeel aaspeel
I am a postdoc in control and optimization

CentraleSupélec Paris

@ADA-Projects
ADA ADA-Projects
Hi! I'm Alessandro, PhD mathematician turned ML engineer. I build production-ready AI systems for real-time and data-driven applications. Welcome to my GitHub!
@stormwatch
Ezequiel Birman stormwatch
Connecting the dots, dashing the straight lines.

Portugal

@adoshi
Alpesh Doshi adoshi

Fintricity London

@and0sha
And Sha and0sha
@ShridharNaik1
Shridhar Naik ShridharNaik1
@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@aygp-dr
Aidan Pace aygp-dr

@defrecord Cambridge, MA

@vikashkodati
Vikash Kodati vikashkodati
Entrepreneur at godel.space, angel investor in AI/space startups, IITGAA Treasurer, space enthusiast, humanitarian, family-focused & PNW nature lover seeking

Godel Space Seattle, WA

@pufanyi
Pu Fanyi pufanyi
Y4 UG, Data Science & AI, NTUsg

Nanyang Technology University Singapore

@jingcun
jingcun
@eloiferrer
Eloi Ferrer eloiferrer

Berlin

@stephendor
stephendor
@aibohphobia0
aibohphobia0
@GerbenKoopman
Gerben Koopman GerbenKoopman
AI/ML Researcher & Engineer

@Koopman-AI-Technologies Netherlands, Amsterdam

@OswaldXia
Oswald OswaldXia
@AshGreyG
AshGrey :> にんじん🥕 AshGreyG
Love @huaier007 forever 🍊

@Empiremono Huaier's heart

@nono2357
Renaud Lifchitz nono2357
Nostr public key: npub1renaud65zug8r570ndztde2xhk206z3v50a5mwa3kp2xshy3zmjqkqaw97

Paris, France

@soma2000-lang
Somasree Majumder soma2000-lang
I like Machine Learning and Software Development

Machine learning Engineer at DeepEdge

@dhruvmalik007
Dhruv Malik dhruvmalik007
Fullstack developer consultant for cybersecurity auditor / infrastructure. founder Frontier-tech (@Frontier-tech-consulting ) .

Frontier-tech Europe

@commit4ever
committed4ever commit4ever
@justicelee
justiceli justicelee
enjoy free time
@jnlindsay
Jeremy Lindsay jnlindsay
BSc (Honours) in pure mathematics. Software Engineer at WiseTech Global.

WiseTech Global Sydney, NSW, Australia

@njwhtdyjr
zireal njwhtdyjr
a student of Beihang University

China ,Beijing

@francescomacri
Francesco Macrì francescomacri
@dominik3141
Dominik Farr dominik3141
Mathematician now doing AI.

Softmax San Francisco, USA

@bpenedo
Bruno Penedo bpenedo
Financial and Quant analyst.

Coliseum Capital

@vatsj
Jacob Stavrianos vatsj
trying my best

San Francisco

@cocoxhuang
cocoxhuang
@eliasjudin
Elias Judin eliasjudin
masters student. research in [categorical algebra] [categorical logic]. at [UCT]. interests: quantum. speculative realism. cryprography.

University of Cape Town Cape Town, South Africa