Skip to content
View qcfu-bu's full-sized avatar
10 followers · 13 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report qcfu-bu

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@rachitnigam
Rachit Nigam rachitnigam
prof at MIT. creator of @calyxir. up to no good.

Massachusetts Institute of Technology

@kwacken
kwacken
@AdrienChampion
Adrien Champion AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)

anzenlang La Rochelle, France

@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Lean FRO Paris

@gaboardi
gaboardi
@ankushdas
Ankush Das ankushdas
@doomemacs
Doom Emacs doomemacs
A configuration framework for GNU Emacs.

~/.config/emacs

@jiawenliu
jiawenliu jiawenliu

Boston University Boston

@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@czhang03
Cheng Zhang czhang03
I am in the process to move some of my personal projects to codeberg.
@marklemay
Mark Lemay marklemay
Interested in Dependent types, functional programming, and automated theorem proving.

Boston

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@githwxi
Hongwei Xi githwxi
As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.

ATS Trustful Software, Inc. Boston, Massachusetts