Skip to content
View Arrow7000's full-sized avatar
👨‍💻
thinking about types
👨‍💻
thinking about types
60 followers · 215 following

Achievements

Achievement: Public SponsorAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Public SponsorAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@ahrefs

Block or report Arrow7000

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
@heartpunk
heartpunk heartpunk
@roboguy13
David Young roboguy13
@Quelklef
maynard Quelklef
The cat is named Fey.
@happyfellow-one
happyfellow-one
@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@plp127
Aaron Liu plp127

Pittsburgh, PA, USA

@yomimono
yomimono yomimono

Netherlands

@math-inc
Math, Inc. math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.

United States of America

@tannerduve
Tanner Duve tannerduve
Member of Technical Staff @logiq-ai. Interested in types, categories, and functional programming. Rust, Lean, OCaml, and Haskell fan.

Logical Intelligence San Francisco

@typememetics
The Institute for Type Safe Memetic Research typememetics
Truth in Types, Safety in Thought
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@sockmaster27
Holger Dal Mogensen sockmaster27

Aarhus University Aarhus, Denmark

@MostWrong
typeØ(wl)female MostWrong
people will have agi before they have electricity thats stable all day - tszzl

your BigMAC address

@leoparis89
Lev Kowalski leoparis89
Typescript developer based in Paris.

Paris

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@elisabethstenholm
Elisabeth Stenholm elisabethstenholm
👩‍💻 Software developer | λ Functional programming enthusiast | 👩‍🎓 PhD in Homotopy Type Theory
@jrr6
jrr6
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@MichiganTypeScript
Michigan TypeScript MichiganTypeScript

Michigan

@dimitropoulos
Dimitri Mitropoulos dimitropoulos

Michigan

@TwoFX
Markus Himmel TwoFX
I used to work in an office

Lean FRO Karlsruhe, Germany

@rzrn
rzrn
@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@cull-os
The Cull Operating System cull-os

Turkey

@chenson2018
Chris Henson chenson2018
PhD student at Drexel University studying Programming Languages. Interested in formalizations of categorical semantics in Lean.
@JuliaPoo
Jules JuliaPoo
Hobbyist interested in a lot of things
@varkor
varkor varkor
Category theorist and Rust compiler developer.
@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@qexat
qexat
@effectfully
effectfully
@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@jaredly
Jared Forsyth jaredly

Khan Academy St Louis, MO

@egmaleta
Eduardo García Maleta egmaleta
long-term cs student | building fine | fp/haskell/ocaml enjoyer | 😔

@INMYTEAM-CORP Havana, Cuba

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

Bloomberg London, UK

@jchavarri
Javier Chávarri jchavarri

Barcelona

@Xe
Xe Iaso Xe
Hacker, Nephelemancer, kastermakfa - username pronounced as /zi/

@TecharoHQ & @tigrisdata Canada

@p1xelHer0
pontus p1xelHer0
@metame
metame metame

The meta Method United States

@ocaml
OCaml ocaml
The OCaml functional programming language and system
@ahrefs
Ahrefs ahrefs
BTW we use OCaml

Singapore

@dmmulroy
Dillon Mulroy dmmulroy
software engineer @cloudflare

cloudflare Raleigh, NC

@workflowsauce
Workflow Sauce workflowsauce
Notes to self, and hopefully joy and peace for others. Here to grease the gears!
@EduardoRFS
Eduardo Rafael EduardoRFS
A developer
@RGBCube
RGBCube RGBCube
May include trace amounts of functional programming.

Doofenshmirtz Evil Inc.

@adituv
Iris Ward adituv

United Kingdom

@idris-hackers
Idris Hackers idris-hackers
@VictoriqueMoe
Victoria VictoriqueMoe
Software architect working in cybersecurity. i do stuff on the side

United Kingdom

@copy
Fabian copy