Skip to content
View Gravifer's full-sized avatar
156 followers · 4.1k following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Organizations

@QueSDP @tsinghua-TEEP @Lean-zh

Block or report Gravifer

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
@flypitch
flypitch
Formal proof of the independence of CH. This account is maintained by @jesse-michael-han.

University of Pittsburgh Pittsburgh

@flyspeck
flyspeck Suspended
@kodyvajjha
Koundinya Vajjha kodyvajjha

Intel Corporation San Francisco Bay Area

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@zhangir-azerbayev
Zhangir Azerbayev zhangir-azerbayev
@Sean537
Sean537 Sean537
I'm a middle school student in China. I'm also the CEO and one of the founders of 537 Studio. There is a saying from Steve Jobs, "Stay hungry, stay foolish."

537 Studio Hangzhou, Zhejiang Province, People's Republic of China

@Done-0
Fender Done-0
A newcomer hopes to use codes create a new virtual world, where no one is alive, and no one will die. Email: fenderisfine@outlook.com

China

@ebellempire
Erin Bell ebellempire

@CPHDH Cleveland, Ohio

@asmecher
Alec Smecher asmecher
Optimonium: just the right amount of pandemonium

Automatic Turquoise International Vancouver

@hypothesis
Hypothesis hypothesis
We build software to enable the annotation of the Web.

The Web

@Happypig375
Hadrian Tang Happypig375
Knows a bit in all aspects of .NET (C#/F#/VB.NET) / Python / Java. Used to maintain CSharpMath library but currently putting all efforts in https://hkust.edu.hk

@dotnet @Teenosonic @CSWCSS-InnoTech Hong Kong

@eiriktsarpalis
Eirik Tsarpalis eiriktsarpalis
Principal Software Engineer working on .NET Libraries

@microsoft London, UK

@arthurpaulino
Arthur Paulino arthurpaulino
I'm a computer scientist with many interests

Argument Computer Corporation Brazil

@wwared
wwared wwared
@argumentcomputer
Argument argumentcomputer
@samuelburnham
Samuel Burnham samuelburnham
@ChrisPenner
Chris Penner ChrisPenner
Writing software to improve the experience of writing software. Author of Optics By Example

Unison Computing Victoria BC, CA

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@swlaschin
swlaschin
@pema99
Pema Malling pema99
Shooting rays, parsing tokens.

Unity Technologies Copenhagen

@tfausak
Taylor Fausak tfausak
@jcommelin
Johan Commelin jcommelin

— —

@thebaer
Matt Baer thebaer
Founder @musingstudio. Building @writeas, @writefreely, @snapas, and the rest

@musingstudio NYC

@k0ral
k0ral
Moved to https://codeberg.org/k0ral .

France

@mgsloan
Michael Sloan mgsloan

@zed-industries Colorado

@jhrcek
Jan Hrcek jhrcek
Happy Haskell developer

Holmusk Brno, Czech Republic

@jeffreyrosenbluth
Jeffrey Rosenbluth jeffreyrosenbluth
@byorgey
Brent Yorgey byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.

Hendrix College Conway, AR, USA

@jtdaugherty
Jonathan Daugherty jtdaugherty

Galois, Inc. Portland, OR

@hanshoglund
Hans Höglund hanshoglund
Composing Things

London

@cianoc
Cian O'Connor cianoc
British expat. Common Lisp, Rust, SuperCollider and CSound. Mostly obsessed with music and DSP.

Columbia, SC, USA

@ejlilley
Edward Lilley ejlilley
@meditans
Carlo Nucera meditans

@obsidiansystems

@music-suite
Music Suite music-suite
Music in Haskell
@BytesZero
Zero BytesZero
Flutter & Rust & Ads

微信：toponelan BeiJing

@lijy91
LiJianying lijy91
A flutter developer, keep exploring.

Shenzhen, China

@leanflutter
LeanFlutter leanflutter
To make the flutter even simpler
@zelosleone
Denizhan Dakılır zelosleone

prefix.dev Turkey

@Mikolaj
Mikolaj Konarski Mikolaj
@well-typed
Well-Typed LLP well-typed
The Haskell Consultants
@zeramorphic
Sky Wilshaw zeramorphic
PhD student at Nottingham, researching semantics of memory safety and borrowing.

Cambridge, UK

@mo271
Moritz Firsching mo271

Google Research Basel, CH

@casavaca
Hongyu Ouyang casavaca
@Vtec234
Wojciech Nawrocki Vtec234

Pittsburgh, USA

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Proxima Technology Japan

@matematiflo
Florent Schaffhauser matematiflo

Heidelberg University Heidelberg

@clerkma
Clerk Ma clerkma

China

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@LeanProverCN
Lean Prover CN LeanProverCN
LeanProverCN - A preliminary community for Lean theorem proving. Join us to explore, learn, and share!

China

@leanprover
Lean leanprover
Lean Prover