Skip to content
View benjub's full-sized avatar
7 followers · 12 following
  • Paris, France

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report benjub

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
@rust-lang
The Rust Programming Languagerust-lang

United States of America

@motib
Moti Ben-Arimotib

Weizmann Institute of Science

@icecream17
Steven Nguyenicecream17

school

@TrustInSoft
TrustInSoftTrustInSoft
@metamath
Metamathmetamath
@sindresorhus
Sindre Sorhussindresorhus
Full-Time Open-Sourcerer. Focused on Swift & JavaScript. Makes macOS apps, CLI tools, npm packages.
@ocaml
OCamlocaml
The OCaml functional programming language and system
@nojb
Nicolás Ojeda Bärnojb

@LexiFi Paris, France

@lindig
Christian Lindiglindig
Software Engineer at citrix.com. Previously: testfabrik.com, dagstuhl.de, st.cs.uni-sb.de, seas.harvard.edu

Citrix Cambridge, UK

@dbuenzli
Daniel Bünzlidbuenzli
@tirix
tirix
@digama0
Mario Carneirodigama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden