Skip to content
View lukel97's full-sized avatar

Block or report lukel97

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
@wangpc-pp
Pengcheng Wang wangpc-pp
Compiler, Crypto. e(Crypto, PLT)=?

@bytedance Beijing, China

@ecnelises
Qiu Chaofan ecnelises

@ByteDance Shanghai, China

@zqb-all
Mark Zhuang zqb-all
底层劳动人民
@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@guijemont
Guillaume Emont guijemont

Igalia Aix-en-Provence

@zachd
Zachary zachd
Web Designer & Developer

@loop-earplugs Brussels, Belgium

@ryzokuken
Ujjwal Sharma ryzokuken
compilers hacker @Igalia, @tc39 co-chair, js i18n co-editor

@igalia A Coruña, Spain

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@expipiplus1
Ellie Hermaszewska expipiplus1
My code is so strongly typed I'm going to need a new keyboard! she/her
@snoyberg
Michael Snoyman snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)

@fpco Israel

@hasufell
Julian Ospald hasufell
Haskell freelancer, Opensource enthusiast.

Durian Consulting Pte. Ltd. Taipei

@ConorMacBride
Conor MacBride ConorMacBride
Data Scientist · Astrophysics PhD

Derry, Northern Ireland

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@Ericson2314
John Ericson Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.

@ObsidianSystems New York

@chshersh
Dmitrii Kovanikov chshersh
Senior Software Engineer at Bloomberg using C++

Bloomberg London, UK

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@oisincar
oisincar

Dublin, Ireland

@kazu-yamamoto
Kazu Yamamoto kazu-yamamoto

Internet Initiative Japan Inc Tokyo, JAPAN

@fishtreesugar
FTS fishtreesugar
Correct software is niche
@dennlinger
Dennis Aumiller dennlinger
Member of Technical Staff, Model Evaluation at Cohere. Did my PhD on text summarization at Heidelberg University.

Cohere Philadelphia, USA

@georgefst
George Thomas georgefst

@obsidiansystems London / Cardiff, UK

@pepeiborra
Pepe Iborra pepeiborra
Functional programmer

Meta London, UK

@jneira
Javier Neira jneira
Historician transmuted in programmer
@yaxu
Alex McLean yaxu
Para-academic research fellow as part of non-profit Then Try This, in the process of moving to https://codeberg.org/yaxu/

Then Try This Sheffield, UK

@EziOzoani
Ezi Ozoani EziOzoani
ML Research & Quantum 🤓 | MSc Computer Science Researcher| (Ezzy/eh-zee)
@vaibhavsagar
Vaibhav Sagar vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.

gadigal land/sydney

@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

@mpickering
Matthew Pickering mpickering

Well Typed LLP Sheffield, UK

@FintanH
Fintan Halpenny FintanH
Whenever I have time coding stuff goes here.

Dublin