Skip to content
View lzy0505's full-sized avatar
🦉
🦉
49 followers · 118 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report lzy0505

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
@tomtomjhj
Jaehwang Jung tomtomjhj
.__________.
@digama0
Mario Carneiro digama0
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

@ineol
Léo Stefanesco ineol
@stormckey
stormckey stormckey
A CMU master student

Carnegie Mellon University Pittsburgh, USA

@zqy1018
Qiyuan Zhao zqy1018
A beginner. A low-level programmer.

Singapore

@Lancern
Sirui Mu Lancern
Programming language and compiler enthusiast @llvm

Shanghai, China

@let-def
Frédéric Bour let-def
Chamelier (pas trop fou)

Tarides Earth

@tzerrell
Tim Zerrell tzerrell
Senior Software Engineer at RISC Zero. I also keep some of my personal projects here. (formerly Tim Carrell)

RISC Zero Seattle, WA

@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.

Portland State University Portland, OR

@dobios
Amelia Dobis dobios
PhD Student at Princeton Universtiy | PL for Hardware | MSc ETHZ, BSc EPFL

Princeton University Philadelphia, PA, USA

@hrutvik
Hrutvik Kanabar hrutvik
@dongjaelee1
Dongjae Lee dongjaelee1
Ph.D. student at MIT CSAIL PDOS
@keleshev
Vladimir Keleshev keleshev
OCaml developer

Copenhagen, Denmark

@regehr
John Regehr regehr
CS professor at the University of Utah

University of Utah Salt Lake City, UT, USA

@fpottier
François Pottier fpottier

Inria Paris, France

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.

@PingCAP Shanghai Hongkou

@mjp41
Matthew Parkinson mjp41

Microsoft Research Cambridge, UK

@ValKmjolnir
ValK ValKmjolnir
@antgroup, @codefuse-ai; Previous: @alibaba / NUAA CSE. Compiler & Interpreter enthusiast.

Nanjing University of Aeronautics and Astronautics CCST-CSE Hangzhou Zhejiang, China

@mwh
Michael Homer mwh

Wellington, NZ

@Salzfeld
Yantian Ding Salzfeld
Ph.D. Student in Computer Science @ Gran Sasso Science Institute

Gran Sasso Science Institute L'Aquila, Italy

@yiyunliu
Yiyun Liu yiyunliu
PhD Student studying Programming Language Theory

University of Pennsylvania

@LLM4Rocq
LLM4Rocq
@daanx
Daan daanx

US

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@paulzfm
Paul paulzfm
Coq & Cocktail

Saarland University & CISPA Saarbrücken, Germany

@tmcgilchrist
Tim McGilchrist tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.

@tarides Sydney, Australia

@aturon
Aaron Turon aturon
Engineer at Fastly, working on Compute

Fastly Portland, OR, USA

@cloudwu
云风 cloudwu
coder ( c , lua , open source )

ejoy.com China

@conrad-watt
Conrad Watt conrad-watt
Assistant Professor, NTU Singapore. Co-chair of the WebAssembly Community Group.

Nanyang Technological University

@juniorxxue
Xu Xue juniorxxue

@hkuplg

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@thealmarty
Marty Stumpf thealmarty
Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.

BC, Canada

@fangyi-zhou
Fangyi Zhou fangyi-zhou
Software Engineer | Programming Language Researcher en.pronouns.page/she&they

@facebook London, UK

@gares
Enrico Tassi gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter

@coq @math-comp @LPCIC Inria Sophia-Antipolis

@rgrinberg
Rudi Grinberg rgrinberg

Toronto

@DelphinusLab
DelphinusLab DelphinusLab
zkWasm and its applications
@lars-birkedal
lars-birkedal
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@privacy-ethereum
PSE privacy-ethereum
PSE is a research and development lab delivering privacy to the Ethereum ecosystem
@jakobbotsch
Jakob Botsch Nielsen jakobbotsch
Engineer on the .NET JIT compiler at Microsoft.

@microsoft Aarhus, Denmark

@hcantunc
Hünkar Can Tunç hcantunc
@Inferara
Inferara Inferara
Formal methods and programming languages research for Web3

Japan

@coana-tech
Coana coana-tech

Denmark

@chhzh123
Hongzheng Chen chhzh123
Compiler for accelerators

Cornell University Ithaca, NY

@RustanLeino
Rustan Leino RustanLeino
Lover by day, hacker by night

Amazon Web Services Seattle, WA, USA

@jfblaa
Jeppe Fredsgaard Blaabjerg jfblaa
Program Analysis Engineer @ Coana

Coana Aarhus, Denmark

@SalusaSecondus
Greg Rubin SalusaSecondus
I'm a security engineer who specializes in cryptography.

Seattle, WA

@binghe
Chun Tian binghe
Common Lisp programmer, HOL proof engineer
@FStarLang
FStarLang