Skip to content

@typelevel Typelevel

Users following typelevel

@darwinmorris
Darwin Morris darwinmorris
@avelx
Pavel Oliynyk avelx

Avel Limited Beckenham, UK

@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

@griels
Ellis Breen griels
Software Developer and Aspiring Entrepreneur

CapDeColla Manchester, UK

@aditya-suripeddi
aditya-suripeddi
@drian-o
ADRIANSYAH drian-o
Human Error.

Freelance

@oloveluck
Owen Loveluck oloveluck
me :: (Healthcare a, Programming Languages a, AI a) => Engineer a

1UpHealth Seattle

@altar31
Damien Sicard altar31

Hexo Signal France

@lukeschmit-dev
Luke Schmit lukeschmit-dev
@julillermo
TulioG_Projects julillermo
@nelbeu
BETANCUR . N nelbeu
art & architectural historian #BetancurN #nelbeu

National University of Colombia

@Stan-Marsh-0
Stan Stan-Marsh-0
ILoveStan

✦•························•✦•························•✦ follow my main @Misteria0 ✦•························•✦•························•✦ Spam following

@kharisovilyas
Ильяс kharisovilyas

Eldis-Soft St. Petersburg

@alxbnct
Yosef Weissmann alxbnct
@usommerl
Uwe Sommerlatt usommerl

Dresden, Germany

@igor-primo
igor primo igor-primo
@hpietukhin
Havriil Pietukhin hpietukhin
@qinadongtian
cloudwin！win！win！ qinadongtian
Discard illusions, prepare for struggle！
@RespectTH
กิตติพงษ์ บํารุงเจริญ RespectTH

Enterprise TH ltd

@dhinojosa
Daniel Hinojosa dhinojosa
Daniel Hinojosa is a programmer, consultant, instructor, speaker, and author

Albuquerque, NM

@ABHIJEET-0001
Abhijeet Kasera ABHIJEET-0001
B.Tech CSE @ GECA '27 | Building intelligent systems with Python and AI.
@Piyush-t24
Piyush Gupta Piyush-t24
Pre-Final Year at RGIPT || OSS Contributor @llm4s @typelevel @shap || Mentor @swoc'25 || Qualified JEE ADV 2023 || Building Scalable & Intelligent Systems

Amethi, U.P

@sandeepd6c3
SANDEEP CHOUDHARY sandeepd6c3
I am currently pursuing a B.Tech in Artificial Intelligence and Data Science. I have strong skills in C and C++ .

Jaipur

@hoangpq
Hoang Phan hoangpq
Digital craftsman | Technical Consultant | Clojurist | Haskeller

Developer Avocados

@XriXis
XriXis
@TimothyJones475
Timothy TimothyJones475
@Ilyushya
Ilya Sokolov Ilyushya

Almaty, Kazakhstan

@Animesh-jsx
Animesh Bhakat Animesh-jsx
Hey! I am currently a Frontend Dev and build responsive single page websites with React. I am on journey to learning Full Stack Dev and Blockchain.

India, West Bengal

@kjsingh
Batman kjsingh
Noob Scala developer

AWS Vancouver, Canada

@demcgovern
Donlon Eamonn McGovern demcgovern

Inter-State Studio United States of America

@CoolDalek
CoolDalek
@bilki
Roberto Serrano bilki

@xebia Murcia, Spain

@smoonthsky
smoonthsky smoonthsky
robot sdv

metabitverse metabitverse

@hhayk
Hayk Hakobyan hhayk

Toronto, Canada

@matsluni
Matthias Lüneberg matsluni
Software enthusiast working on JVM systems mostly connected to the Internet.

Freelancer Berlin

@Balmasexy
Balmz GIT Balmasexy
Check out my address in Scopescan:

pwfb@github.com ibadan

@Heliodex
Lewin Kelly Heliodex
Svelte, TS, Luau, Go etc. The Unlicense is the greatest piece of text that humanity has ever been blessed with. 🟩 https://heliodex.cf 💚

@tp-link-extender Scotland

@amitpandeyyy01-max
Amit Pandey amitpandeyyy01-max
Learning and Building

India

@yash-1104github
Yash Gupta yash-1104github
SOFTWARE DEVELOPER

Delhi, IND

@nderraugh
Neil Derraugh nderraugh
I am a technical director and consultant working at Improving Ottawa. Write code. Ride bike. Write code. Ride bike.....

https://github.com/improving Ottawa

@pankaj-bind
Pankaj Kumar Bind pankaj-bind
Backend & Systems Engineer | Open-Source Contributor | Building scalable data & automation systems

Surat, Gujarat

@suraRumi
Rumi suraRumi

Texas, USA

@nabilmagnus
Nabil MAGNUS nabilmagnus
Data Engineer 🔢

Paris

@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@exmacxhinanetwork
exmacxhinanetwork
@0xtch
0xtch

undefined

@vamsidola9-sketch
santosh kumar vamsidola9-sketch
developer ,maker and explorer C language enthusiast | Building beginner-friendly open-source projects support me on git hub sponsors 🎯 Marwadi university
@mohamed-bassam
Mohamed Bassam mohamed-bassam
@ngaar
Gaar ngaar

Austin, TX

@herokwon
HeroKwon herokwon