Skip to content
View andreypopp's full-sized avatar
🏠
Working from home
🏠
Working from home
947 followers · 543 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx4Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx4Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Organizations

@prometheusresearch @ocaml @esy @arrowresearch @ocaml-mlx

Block or report andreypopp

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
@saitonakamura
Michael サイトー 中村 Bashurov saitonakamura
Staff Engineer @mayflower-tech

@mayflower-tech Cyprus, Limassol

@rikkalo
Anastasiia Lopatina rikkalo

Amsterdam, The Netherlands

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

Jane Street UK

@sgrove
Sean Grove sgrove
I am, and have been for some time now, an unsavory character of dubious regard. Happily connecting all the world's data via http://onegraph.com with @dwwoelfel

@OneGraph In the mountains, pining for the fjords.

@mortberg
Anders Mörtberg mortberg

Sweden

@yawaramin
Yawar Amin yawaramin
🐫

Toronto, Canada

@ManasJayanth
prometheansacrifice ManasJayanth
Reason/OCaml tooling. Twitter: @ManasJayanth
@dinosaure
Calascibetta Romain dinosaure

Around the world ...

@dimitri
Dimitri Fontaine dimitri
PostgreSQL Major Contributor (Extensions, Event Triggers, pgloader, pg_auto_failover, pgcopydb, ...), working at @citusdata.

@citusdata Paris, France

@cristianoc
Cristiano Calcagno cristianoc
https://rescript-lang.org/ https://fbinfer.com/
@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@prabirshrestha
Prabir Shrestha prabirshrestha

Microsoft WA

@ulrikstrid
Ulrik Strid ulrikstrid
I write stuff in OCaml and Reason, I like the web, CI/CD and OIDC.

Strid Tech AB Gothenburg, Sweden

@jaredly
Jared Forsyth jaredly

Khan Academy St Louis, MO

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@kit-ty-kate
Kate kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs -------- Autogestion à toute échelle, pain et liberté.

@ahrefs @ocaml-sf Glasgow, Scotland

@rlepigre
Rodolphe Lepigre rlepigre

Saarbrücken

@true-grue
Peter Sovietov true-grue

Moscow, Russia

@hannesm
Hannes Mehnert hannesm

@robur-coop

@bodil
Bodil Stokke bodil

Vault-Tec Corporation

@ryanrhymes
Liang Wang ryanrhymes
computer networking, distributed systems, operating systems, complex systems, machine learning, big data frameworks ...

University of Cambridge Cambridge, UK

@Leonidas-from-XIV
Marek Kubica Leonidas-from-XIV
Lost in Continuation

@tarides Copenhagen

@jchavarri
Javier Chávarri jchavarri

Barcelona

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@clecat
Gwenaëlle Lecat clecat
@ocaml enthusiast and Breton independentist.

Rennes, FR

@bryphe
bryphe

Seattle, WA

@tominated
Tom Brunoli tominated

@datadog New York City

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

IIT Madras and Tarides Chennai, India

@leostera
Leandro Ostera leostera

@AbstractMachinesLab Stockholm

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@backtracking
Jean-Christophe Filliatre backtracking
@stedolan
Stephen Dolan stedolan
@Raathigesh
Raathi Kugarajan Raathigesh
🏗️ Building dev tools to make programming a little more fun

@Atlassian Sydney, Australia

@nojb
Nicolás Ojeda Bär nojb

@LexiFi Paris, France

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

@cloudflare Austin, TX

@cyrus-
Cyrus Omar cyrus-
designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist

University of Michigan Ann Arbor, MI

@rgrinberg
Rudi Grinberg rgrinberg

Toronto

@dra27
David Allsopp dra27
SRE at University of Cambridge; Principal software engineer @tarides; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list

University of Cambridge and @tarides Cambridge, UK

@SimonJF
Simon Fowler SimonJF

University of Glasgow Glasgow

@Drup
Gabriel Radanne Drup
CS Researcher. I complain about languages.

Inria Lyon

@rizo
Rizo rizo
Lost in macroexpand

Porto (Portugal)

@fpottier
François Pottier fpottier

Inria Paris, France

@prosv
Maria Prosvirnina prosv

Saint-Petersburg, Russia

@graydon
Graydon Hoare graydon

Vancouver, BC

@inconvergent
ncnvrgnt inconvergent
play my new browser game for free at: https://boxtype.app

norway

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

@hundredrabbits Nepturne 7757

@alainfrisch
Alain Frisch alainfrisch

@LexiFi

@bobot
François Bobot bobot

CEA LIST Orsay, France

@dbuenzli
Daniel Bünzli dbuenzli
@rauanmayemir
Rauan Mayemir rauanmayemir

Almaty, Kazakhstan