Skip to content
View elevenE's full-sized avatar
14 followers · 135 following

Block or report elevenE

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
@badlogic
Mario Zechner badlogic

0xa000

@steveruizok
Steve Ruiz steveruizok
Founder & CEO, @tldraw

@tldraw London, UK

@bigskysoftware
Big Sky Software bigskysoftware
We find hot new trends in the industry & then build the opposite of that

high up in the mountains

@kmicinski
Kristopher Micinski kmicinski
Lover of lambdas.

Kris Micinski Syracuse, NY

@ocaml
OCaml ocaml
The OCaml functional programming language and system
@tarides
Tarides tarides
Building Functional Systems

France

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@Gabriella439
gabby Gabriella439

San Jose, CA

@mikearnaldi
Michael Arnaldi mikearnaldi
@kentonv
Kenton Varda kentonv
Tech lead of Cloudflare Workers, Cap'n Proto, Sandstorm.io.

@cloudflare Austin, TX

@MatthewKuKanich
Matthew MatthewKuKanich
Cybersecurity Engineer
@simonw
Simon Willison simonw

Datasette Half Moon Bay, California

@bellard
bellard
@FStarLang
FStarLang
@felipecrv
Felipe Oliveira Carvalho felipecrv
Doing something new... (past C++ @ [VoDa, Spotify]) 🇧🇷 → 🇸🇪 → 🌎

Sergipe, Brazil

@rafi230144
rafi230144
Alt for posting small standalone items, usually to Twitter
@kitlangton
Kit Langton kitlangton
Program writer for a respectable software company.

Anomaly NYC

@lemire
Daniel Lemire lemire
Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers.

Université du Québec (TELUQ) Montreal, Quebec, Canada

@morriswchris
Chris Morris morriswchris
Coffee. Code. Complete.

@ApolloGraphQL Formerly @OpsLevel @PagerDuty @FinanceIT Revelstoke, BC

@paul-snively
Paul Snively paul-snively
Pure FP software architect, so far in Scala, learning Haskell. Also dabbling in OCaml for many years and Coq for some fraction of that.

Asheville, NC

@EduardoRFS
Eduardo Rafael EduardoRFS
A developer
@eugeneo
Eugene Ostroukhov eugeneo
Passionate about fast and elegant code. Worked on developer tools for years, now doing platform-level code. Dabbling in machine learning.

SF Bay Area

@hkproj
Umar Jamil hkproj
每天努力
@chshersh
Dmitrii Kovanikov chshersh
Senior Software Engineer at Bloomberg using C++

Bloomberg London, UK

@dmmulroy
Dillon Mulroy dmmulroy
software engineer @cloudflare

cloudflare Raleigh, NC

@jorangreef
Joran Dirk Greef jorangreef
Creator, Founder and CEO of @tigerbeetle, the financial transactions database for mission critical safety and performance.

@tigerbeetle

@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

Vienna, Austria

@lattner
Chris Lattner lattner

Bay Area, California, USA

@fabiospampinato
Fabio Spampinato fabiospampinato
Trying to write good software.

@facebook London, UK

@RyanCavanaugh
Ryan Cavanaugh RyanCavanaugh
Development lead for the TypeScript team at Microsoft.

Microsoft Seattle, WA

@ahejlsberg
Anders Hejlsberg ahejlsberg
Microsoft Technical Fellow and lead architect of TypeScript. Original designer of C#, Delphi, and Turbo Pascal.

Microsoft Redmond, WA, USA

@dcramer
David Cramer dcramer

@getsentry San Francisco, CA

@Aaronontheweb
Aaron Stannard Aaronontheweb
CEO @petabridge Maintainer: @akkadotnet

Petabridge, LLC Houston, TX

@mcollina
Matteo Collina mcollina
@platformatic Co-Founder & CTO, TSC member @nodejs, Lead Maintainer @fastify, Conference Speaker, Ph.D.

@platformatic Forlì, Italy

@milomg
Milo Mighdoll milomg
Your program runs in O(1) but mine runs in ᵒ⁽¹⁾ which is much smaller.
@DylanPiercey
Dylan Piercey DylanPiercey
Don't break the web. 👾

eBay San Tan Valley, AZ

@tpetricek
Tomas Petricek tpetricek
Academic interested in new ways of thinking about programming and history & philosophy of computing. Likes @fsharp, works at @d3sprog & sometimes @fsharpworks.

Charles University Prague

@amaanq
Amaan Qureshi amaanq
23 || Tree-Sitter >

New York, NY

@diegohaz
Haz diegohaz
Author of @ariakit. Working with JavaScript, CSS, accessibility.

@ariakit

@effectfully-ou
effectfully-ou
@effectfully
effectfully
@anonrig
Yagiz Nizipli anonrig
@cloudflare principal systems engineer

@cloudflare

@e18e
e18e e18e
Ecosystem Performance
@addyosmani
Addy Osmani addyosmani
Engineering Lead at Google working on Chrome & Web Platform

Google Mountain View, California

@mmozeiko
Mārtiņš Možeiko mmozeiko

Epic Games / RAD Game Tools WA

@mitchellh
Mitchell Hashimoto mitchellh

Los Angeles, CA

@lihaoyi
Li Haoyi lihaoyi
I'm a software engineer. If you like using my libraries or reading my blog https://www.lihaoyi.com/, you should check out my book https://www.handsonscala.com
@Andarist
Mateusz Burzyński Andarist

@pullfrog Wrocław, Poland

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL