Skip to content
View anka-213's full-sized avatar

Organizations

@agda @GrammaticalFramework

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.

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
@etu
Elis Hirwing etu

TVNU Sweden AB Arvika, Sweden

@tef
tef tef
This is not a CV

Edinburgh, UK

@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@daherb
Herb Lange daherb
Computational Linguist, Research Engineer at Språkbanken Text, University of Gothenburg

Språkbanken Text Gothenburg, Sweden

@harisont
Arianna Masciolini harisont
PhD student in NLP, working with @UniversalDependencies and @GrammaticalFramework. Stubborn Haskellist, reluctant Pythonist, occasional Kotlinist.

@spraakbanken Göteborg, Sweden

@nix-how
nix.how nix-how
Nix... How?

United Kingdom

@SheafificationOfG
Sheafification of G SheafificationOfG
Organisation for YouTube content made by the Sheafification of G

Canada

@GSheaf
Sheafification of G GSheaf
To see repos associated to YouTube videos, check out @SheafificationOfG

@SheafificationOfG Canada

@fsestini
Filippo Sestini fsestini

Arm Ltd. Cambridge, England

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

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

@SCISemi UK

@Profpatsch
Profpatsch

Freelance Software Dev 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/

@TecharoHQ & @tigrisdata Canada

@np
Nicolas Pouillard np
«Type Theory Hacker»

Angers, France

@chshersh
Dmitrii Kovanikov chshersh
Senior Software Engineer at Bloomberg using C++

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
Haliq AHaliq
fullstack web2/3| cryptography | logic | Aarhus University (MSc) | National University of Singapore (BSc)

Concordium Aarhus Denmark

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

Brazil

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@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 sf

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

@Typeable Belgrade, Serbia

@matthewbauer
Matthew Bauer matthewbauer

@MercuryTechnologies Omaha, NE

@maralorn
Malte Ott maralorn
Mathematical physicist, hacking in Haskell and Nix for fun and profit.

@heilmannsoftware 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

@tpope
Tim Pope tpope
Vim plugin artist

Brooklyn, NY

@mengwong
Meng Weng Wong mengwong

@legalese Singapore

@masaeedu
Asad Saeeduddin masaeedu

Montreal, QC, Canada

@inariksit
Inari Listenmaa inariksit

Chalmers University of Technology Gothenburg, Sweden

@parsonsmatt
Matt Parsons parsonsmatt

@mercurytechnologies Denver, CO

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

Penneo Copenhagen, Denmark

@gorhill
Raymond Hill gorhill
_

Canada / Québec