Skip to content
View raphael-proust's full-sized avatar
111 followers · 50 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report raphael-proust

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
@ProgramingIsTheFuture
Francisco Santos ProgramingIsTheFuture
Functional programing.

@Ahrefs Portugal

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@Connor9994
Connor Connor9994
@LaoChanWi
Chang LaoChanWi
sysadmin

フィリア女学院 Wuhan, China

@KFoxder
Kevin Fox KFoxder
dev @janestreet | ex-CTO @ycharts | ex-dev @goldmansachs

@ycharts New York

@catri-01
catri-01
@codeninja819
Jiro Matsumoto codeninja819
Web3 or Nothing

Qitmeer Network Tokyo, Japan

@maxbyz
Gkoran Stoilkovits maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking. Enthusiastic about coding and self-taught, amateur programmer 😊

Atelier Stoilkovits Porto Heli, GREECE

@syedazeez337
syedazeez337
@senthil28
senthil28
@benfaerber
Ben Faerber benfaerber
So much Rust I got tetanus 🦀

True Leaf Market Salt Lake City, Utah

@igarnier
igarnier
I guess I'm a nerd

Paris, France

@jtcoolen
Julien Coolen jtcoolen
Cryptography Engineer, R&D

Nomadic Labs Paris, France

@arbipher
Weng Shiwei 翁士伟 arbipher
JHU Ph.D. Student // Fudan B.Eng // PL is the classics of computer science.

Johns Hopkins University Baltimore, Maryland, USA

@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

@omasanori
Masanori Ogino omasanori

Japan, or anywhere else

@chin123
Chinmaya Mahesh chin123
@jongan69
Jonathan Gan jongan69
Software Engineer, React & React Native

Tampa Florida

@abbysmal
Abigael abbysmal

Datadog France

@davesnx
David Sancho davesnx
Software engineer hooked into functional programing and Reason. Now writing UIs and tools for it at @ahrefs

@ahrefs Barcelona

@smorimoto
Sora Morimoto smorimoto

@ocaml @tc39 Cambridge, UK / Tokyo, Japan

@reynir
Reynir Björnsson reynir

@robur-coop Denmark

@heidihoward
Heidi Howard heidihoward
Researcher in distributed systems

@Microsoft Cambridge, UK

@talex5
Thomas Leonard talex5
@palainp
Pierre Alain palainp
@TheLortex
Lucas Pluvinage TheLortex
Doing things with computers @ amo

École Normale Supérieure

@verbosemode
Jochen Bartl verbosemode
Packet Monkey, Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR

Somewhere near Augsburg, Germany

@code-ghalib
code-ghalib
@cumsoft
Cumsoft cumsoft
CLT, XR & Hybrid Kernel Dev

Cumsoft New York, NY

@edwinans
Edwin Ansari edwinans
Software Engineer at @LexiFi. Interested in [programming] languages, FP, formal verification, Persian and blockchain technologies.

@Lexifi Paris

@Cyberdevil112
Cyberdevil112
@Tim-ats-d
Tim ats Tim-ats-d

@Psi-Prod France, Lyon

@gpetiot
Guillaume Petiot gpetiot
OCaml contributor

@tarides UK

@Julow
Jules Aguillon Julow

@tarides France

@maskegger
AM maskegger
@saulshanabrook
Saul Shanabrook saulshanabrook

Greenfield, MA

@meermubashar
Meer Mubashar ✪ meermubashar
Web Strategist, Designer, Developer

Freelance, Self Employed Pakistan

@jgarte
Jorge Gomez jgarte

Madison, WI

@Mazdaywik
Alexander Konovalov Mazdaywik
BMSTU @bmstu-iu9 teacher and C and Refal programmer

Bauman Moscow state technical university (BMSTU) Moscow, Russia

@kyp0717
Phage Ky kyp0717

Cigna Boston, MA

@bzhr
Bozhidar Hristov bzhr
I am a full stack developer with experience in Data Science, Front End and Backend. Most of my experience is with Python and Javascript.

Skopje, Macedonia

@Sudha247
Sudha Parimala Sudha247

@tarides Chennai, India

@sangwoo-joh
Sangwoo Joh sangwoo-joh
🐪

Samsung Research London, UK

@kohlivarun5
Varun Kohli kohlivarun5

@bloomberg

@denis631
Denis Grebennicov denis631

MongoDB Munich, Germany

@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@germanD
Germán Delbianco germanD
Incident Manager / R&D Comms @trilitech

Trilitech London

@timothyklim
timothy timothyklim
@ghuysmans
ghuysmans

Belgium

@mbouaziz
Mehdi Bouaziz mbouaziz

@SkipLabs Laval