Skip to content
View emekoi's full-sized avatar
📚
📚
55 followers · 106 following

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Pull Sharkx2

Highlights

Block or report emekoi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@thamugadi
aramya thamugadi
moving to https://codeberg.org/aramya
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@hirrolot
hirrolot
At any cost, but for free
@pigworker
Conor McBride pigworker

Glasgow

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@Lysxia
Xia Li-yao Lysxia
@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@sellout
Greg Pfeil sellout
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.

independent consultant Boulder, CO, USA

@contificate
Colin James contificate
Interested in compilers for strict functional languages.

Glasgow, Scotland

@haberman
Joshua Haberman haberman

Google Seattle, WA

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@nakst
Nakst nakst
Hi!
@plt-amy
Amélia Liao plt-amy
Homotopy type theorist ✨

Brazil

@hoshinolina
Hoshino Lina hoshinolina
Hello everyone, Hoshino Lina here! I'm a developer VTuber!

Tokyo

@daanx
Daan daanx

US

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@ianthehenry
Ian Henry ianthehenry
OCamls by day, Janets by night

Los Angeles

@sslotin
Sergey Slotin sslotin
@iximeow
iximeow iximeow
computers enthusiast

Company Location

@leostera
Leo Ostera leostera

Prague, Czechia

@anthony-nguyen-04
Anthony Nguyen anthony-nguyen-04
OU '24 | UW '26
@Kvtcha
Zachariah Hobia Kvtcha
Junior at Oklahoma School of Science and Mathematics
@UnixJunkie
François Bérenger UnixJunkie
Cheminformatician

Applied Cheminformatics International Cambridge, UK

@mcpcpc
Michael Czigler mcpcpc
Biomedical engineer and hobbyist programmer.

USA

@liquidev
りき萌 liquidev
a cute little ragdoll! = –w– =
@howard-beck
Howard Beck howard-beck
Incoming math PhD student at Northwestern

Cambridge, MA

@reyna-ayala
Reyna Ayala reyna-ayala
@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@emilypi
Emily Pillmore emilypi
Ranching is more fun than tech.

Salt Lake City, Utah

@wtetsu
Tetsu wtetsu

Tokyo

@blynn
Ben Lynn blynn
@vrom911
Veronika Romashkina vrom911
Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@emilyxxie
Emily Xie emilyxxie
🐙 🐠 🌴 https://emilyxie.art

NYC

@jtdaugherty
Jonathan Daugherty jtdaugherty

Galois, Inc. Portland, OR

@lehins
Alexey Kuleshevich lehins
Software Engineer at IOHK

@input-output-hk Colorado

@fosskers
Colin Woodbury fosskers
I write Lisp and Rust.

Japan

@mstorsjo
Martin Storsjö mstorsjo

Finland

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@oldnewthing
Raymond Chen oldnewthing

Microsoft

@HackerPoet
HackerPoet
Also known as CodeParade, I run a YouTube channel.

CodeParade United States

@adamdruppe
Adam D. Ruppe adamdruppe

Watertown, New York, United States

@whizkydee
Olaolu Olawuyi whizkydee
Engineering @ Shopify.

@Shopify

@neauoire
Devine Lu Linvega neauoire
Black Tourmaline. https://git.sr.ht/~rabbits

@hundredrabbits Nepturne 7757

@fasterthanlime
Amos Wenger fasterthanlime
hi, I'm amos! 🐿️ co-host of self-directed research podcast 🫐 teacher, video maker, software mercenary ✨ be kind, be curious

@bearcove Lyon, France

@whitequark
Catherine whitequark
the catgirl knows where it is at all times

@SCISemi UK

@trishume
Tristan Hume trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.

San Francisco

@nayuki
Nayuki nayuki
I implement data structures, algorithms, and file formats, emphasizing on correct logic and readable code. My website has a list of articles describing my work.

Project Nayuki Toronto, Ontario, Canada

@LemonBoy
LemonBoy
In your stack, eating your cookies
@bryanmcnett
Bryan McNett bryanmcnett

Sunny Los Angeles, California