Skip to content
View L-TChen's full-sized avatar
94 followers · 148 following

Achievements

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

Achievements

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

Organizations

@agda @flolac-tw

Block or report L-TChen

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
@cswphilo
Cheng-Syuan Wan cswphilo
@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@SwampertX
Yee Jian TAN SwampertX
Theoretical CS Research Masters (MPRI) student at École Polytechnique.
@wenweili
Wen-Wei Li wenweili
Teacher

Peking University Beijing

@ayberkt
Ayberk Tosun ayberkt
Researcher in formal verification @zeroth-research

Zeroth Research Birmingham, UK

@LeonieWeissweiler
Leonie Weissweiler LeonieWeissweiler
Postdoc in Computational Linguistics at Uppsala University

Uppsala University Uppsala, Sweden

@szumixie
Szumi Xie szumixie
(x : Haskell) → Agda x
@agda-web
Agda Web agda-web
Bring Agda the interactive proof assistant to the web.

Taiwan

@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@theolaurent
Théo Laurent theolaurent

Paris

@fredrik-bakke
Fredrik Bakke fredrik-bakke

NTNU Norway

@thiagofelicissimo
Thiago Felicissimo thiagofelicissimo
@awswan
Andrew Swan awswan

University of Ljubljana Ljubljana

@juniorxxue
Xu Xue juniorxxue

@hkuplg

@omelkonian
Orestis Melkonian omelkonian
PhD @ University of Edinburgh   Formal Methods @input-output-hk   Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

Input Output (IOG) Kirkwall, Orkney, Scotland

@casvdrest
Cas van der Rest casvdrest
Formal Methods Engineer

IOHK Delft

@RedPRL
RedPRL RedPRL
Uphold Cubical Thought!
@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@MatthewDaggitt
Matthew Daggitt MatthewDaggitt
@anuyts
anuyts

KU Leuven

@amblafont
Ambroise amblafont
Assistant professor at Ecole Polytechnique

Ecole Polytechnique Palaiseau

@jaklt
Tomáš Jakl jaklt

Europe

@riaqn
Zesen Qian riaqn
Modelling the world.

Jane Street London, UK

@csabahruska
Csaba Hruska csabahruska
I'm a software engineer and I'm keen on doing research and development. I work on compilers and static analyses. I like Haskell, Idris2 and machine code.

London

@titusjgr
Titus Tzeng titusjgr
@Saizan
Andrea Vezzosi Saizan
@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@sattlerc
Christian Sattler sattlerc
@mb64
Mark Barbone mb64
@FrozenWinters
Astra Kolomatskaia FrozenWinters
Studies mathematics.

Wesleyan University

@halfaya
John Leo halfaya

Halfaya Research Bellevue, Washington

@dpl0a
Daniele dpl0a
@ajrouvoet
Arjen Jonathan ajrouvoet
@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@blackhole89
Matvey Soloviev blackhole89
Postdoc. May these repositories be a monument to the dangers of procrastination.

Saarbrücken

@felixwellen
Felix Cherubini felixwellen

University of Gothenburg Gothenburg, Sweden

@sergey-goncharov
Sergey Goncharov sergey-goncharov

School of Computer Science, University of Birmingham

@jmchapman
James Chapman jmchapman
Free the group. Nuke the kernel. Power to the n.

@input-output-hk Glasgow, UK

@sufrin
Bernard Sufrin sufrin

Oxford University & Varomega Associates Oxford

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@nachivpn
Nachi Valliappan nachivpn
Doing this research thing
@roglo
Daniel de Rauglaudre roglo
@YouTakaoka
Linux-ojisan YouTakaoka
A lot of fun of Linux. Love math & physics.
@bellissimogiorno
bellissimogiorno
@gabriel-fallen
Alexander Chichigin gabriel-fallen
ML/Software Engineer. Commit juggler.

Kontur Tbilisi, Georgia

@cyrus-
Cyrus Omar cyrus-
designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist

University of Michigan Ann Arbor, MI

@williamdemeo
William DeMeo williamdemeo
Universal algebraist, complexity theorist, formal methodologist, AI alchemist, functional programmer (Agda, Lean, Scala, Spark).

IO @input-output-hk Boulder, CO, USA

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@lukaszcz
Łukasz Czajka lukaszcz
compiler construction, programming language design, proof automation, computational logic
@coquand
coquand