Skip to content
View lsf37's full-sized avatar

Organizations

@seL4 @jflex-de @proofcraft

Block or report lsf37

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
@parsaa74
Parsa Azari parsaa74
Developer/Designer

Tehran, Iran

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@melwyn95
Melwyn Saldanha melwyn95
OCaml | Compilers | Functional Programming

Rochester, NY

@Clownsw
Clownsw Clownsw
until you have.
@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@P4ulius
P4ulius

TBC LONDON

@proidiot
Charles Southerland proidiot
Computers don't have to suck, but we have to choose to fix them. Formal Methods, F(L)OSS, math memes, general nerdiness. aka @csoutherland

@stuphlabs Austin, TX

@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@DutytoDevelop
Nicholas Hickam DutytoDevelop
I love programming and mathematics. I see automation and machine learning as essential tools to help society in many impactful ways. Hello World!

Austin, Texas

@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@omnisci3nce
Joshua Rowe omnisci3nce

Melbourne, Victoria, Australia

@harryfyx
hhhkb harryfyx
Security Researcher

Hangzhou City, China

@ThreeFx
Ben Fiedler ThreeFx
Student at ETH Zurich.

Zurich, Switzerland

@pedrosantayana
Pedro Santayana pedrosantayana

Belo Horizonte, Minas Gerais - Brazil

@unsoundsystem
unsoundsystem
Interested in Systems software and their formal verification

Japan

@HHPLow
HHP_Low HHPLow
Ha.Ha.Point.Low

Shanghai CN

@BH1SCW
F.J Kong BH1SCW
Ham/Geek/Ubuntu member/JDM/Morse Code

SUSE-> Canonical Beijing , P.R. China

@realprocrastinator
realprocrastinator
\x48\x65\x6c\x6c\x6f\x20\x57\x6f\x72\x6c\x64\x21

Xiaomi Shanghai

@Codingprodigy-tech
Codingprodigy-tech Codingprodigy-tech
I’m a software engineer who’s learning linux. I know c#, css, C+, php, py3, markdown, and I’m working on learning Xcode and swift UI. I love cotton candy.

The Luxor Diamond Software Corp inc co LLC Vladystok, Russia

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@ilovejs
Hao ilovejs
0 headache approach Write code IN [go, python, js] Domain knownledge IN [oauth, crypto, jose]
@sPyOpenSource
X. Wang sPyOpenSource
I was born in Qingtian (China). In 2001 I moved from China to the Netherlands. I earned a Master of Science degree at TUDelft. People say I'm smart and royal.

Tetra B.V. Utrecht

@bourbakis
bourbakis
Aggregator of differential programming.

Shanghai

@gvvynplaine
Roman gvvynplaine
NULL VOID NONE

Moldova, Tiraspol

@sazare
s.omura sazare
useless programmer

W/Japan

@sfrias
Santi Frias sfrias
Technician, programmer, loves nature, astronomy & music

Inspelect. Moreno A&P Tarragona, Spain