Skip to content
View anka-213's full-sized avatar
56 followers · 41 following

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report anka-213

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

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

@ChipFlow UK

@Gankra
Aria Desires Gankra

axo.dev

@Profpatsch
Profpatsch
he/him, they/them

Possehl Analytics Augsburg, Paris

@jhftss
Mickey Jin jhftss
Exploring the world with my sword of debugger :)

Independent Researcher

@lf-
jade lf-
soft-clawbed rustacean. 🔹 they
@Xe
Xe Iaso Xe
Hacker, Nephelemancer, kastermakfa - username pronounced as /zi/

@techarocanada Canada

@np
Nicolas Pouillard np
«Type Theory Hacker»

Angers, France

@chshersh
Dmitrii Kovanikov chshersh
Senior Software Engineer at Bloomberg using OCaml

Bloomberg London, UK

@infinisil
Silvan Mosberger infinisil
Studied Computer Science at ETHZ. Fluent in Nix and Haskell. Profile picture art by https://artistree.io/pheonyx!

Tweag Switzerland

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@AHaliq
Abdul Haliq AHaliq

Singapore

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@nomeata
Joachim Breitner nomeata

Freiburg, Germany

@emilazy
Emily emilazy
she/her
@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

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@sarahzrf
sarahzrf sarahzrf
computational trinitarian who only reads Church on easter and christmas

N/A Maine

@mniip
mniip mniip
He/Him. Functional programming & Pure math.

@Typeable Belgrade, Serbia

@Lysxia
Xia Li-yao Lysxia
@matthewbauer
Matthew Bauer matthewbauer

@MercuryTechnologies Roeland Park, KS

@katef
Katherine katef

Scotland

@cdepillabout
Dennis Gosnell cdepillabout

Sapporo, Japan

@maralorn
maralorn maralorn

Europe

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@worldofpeace
WORLDofPEACE worldofpeace
⚧️ love all of you

they/them

@nh2
Niklas Hambüchen nh2
Bio: Imperial College London, @tsurucapital @google @fpco @benaco

My own consultancy Zürich

@vlopezj
Víctor López Juan vlopezj
@tpope
Tim Pope tpope
Vim plugin artist

Brooklyn, NY

@mengwong
Meng Weng Wong mengwong

@legalese Singapore

@masaeedu
Asad Saeeduddin masaeedu

Montreal, QC, Canada

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@inariksit
Inari Listenmaa inariksit

@DigitalGrammarsAB , @smucclaw

@parsonsmatt
Matt Parsons parsonsmatt

@mercurytechnologies Denver, CO

@Icelandjack
Icelandjack
@fredefox
Frederik Hanghøj Iversen fredefox
Languages, functional programming, type theory and logic.

Zendesk Copenhagen, Denmark

@Saizan
Andrea Vezzosi Saizan
@gorhill
Raymond Hill gorhill
_

Canada / Québec

@bos
Bryan O'Sullivan bos
@fogity
Henrik Rostedt fogity
My personal projects are on my GitLab account (see link below).
@ddagson
David Dagson ddagson