Skip to content
View wenkokke's full-sized avatar
460 followers · 124 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Block or report wenkokke

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
@ShorterThanDijkstra
alyssa101 ShorterThanDijkstra
@herulume
Eduardo Jorge herulume
Interested in functional programming and formal methods.

Portugal

@BitMorphX
BitMorphX BitMorphX
"I morph bits, not to break, but to understand." — BitMorphX ©

Satoshi's Left Hand EARTH 🌐 255.255.255.255 ̵͎̪̉̓̀̄̔͛̊̇̀ ̶̥͇̯͇̃̍͊͐͛Q̷̱͂̈́̈͆̚͜U̷̢̧͕͈̖̫̠̤̜̼̦͈̻̲̩͔̓͆͒ͅA̸̹͂͑̈́̆̿̈́̈́̏͆̈́̊̾͂̈́̈́̒͑͘N̴̛̘̩̺͎̲̥̏͆̈͛̂̂̎̂̀̚̕͝͝ͅT̷̡̲̦̲͔͎͔̞̞̹̞̯̰̉͊̈́͒͑́͂Ũ̴̱̉̐̿M̸̨̢̟̲͍͔̮̝̀̅̃̌͆̅̾͑͆̈̾

@bahlo
Arne Bahlo bahlo
I invented hope driven development.

@axiomhq Frankfurt, Germany

@GodelianSentence
AnalyticSort GodelianSentence
Formal methods enthusiast and wannabe logician.
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@velveteer
Josh Miller velveteer

H-E-B San Antonio

@djvelimir
Velimir Đurković djvelimir
Highly experienced Senior Software Engineer. Proficient in a range of technologies including .NET, Java, Angular, JavaScript, and TypeScript.

Novi Sad, Vojvodina, Serbia

@Alb4don
Alb4don
Autistic Person | Computer Engineering Student | Cybersecurity Entusiast |

Brasil

@fishtreesugar
FTS fishtreesugar
Correct software is niche
@emma-bach
Emma Bach emma-bach
Bachelor Student in Mathematics and Computer Science.
@BiquanBie
BiquanBie
@wmarrujo
William Marrujo wmarrujo

Minnesota

@domandlj
Juan Domandl domandlj
Computer Science @ FaMAF Contact: juan.domandl@mi.unc.edu.ar

Argentina

@tlbadger09
Tracy B tlbadger09
Just an Insurance Agent trying to grow my business 😉

Badger Health Insurance LLC

@pkri0
Patrick Kristiansen pkri0
@Basant1Saini
Basant saini Basant1Saini
Backend Dev. Movies, series, games (Chess, PUBG, GTA V), music (Punjabi & Rajasthani).

Not yet Jaipur, rajasthan

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

Multiverse

@arisgk
Aris Goudouras arisgk
Product-Minded Software Engineer. JS/TS, Haskell

Thessaloniki, Greece

@mi6paulino
Michael Paulino mi6paulino
Founder VIGIA.I ©️ tracking integrated data

Michael Paulino Solutions New York City

@olydis
Johannes Bader olydis
Trying to make developer tools suck less and hacking on tree calculus. Interests: PL design, formal verification, automatic program repair, education.

New York City, USA

@jgarte
Jorge Gomez jgarte

Madison, WI

@junrui-liu
Junrui Liu junrui-liu
@xxspell
hachimaru xxspell
@j0shua-daniel
Joshua Daniel j0shua-daniel
Creating a blazing fast VM manager, that just works!

Reading, Berkshire

@SeshatCZ
SeshatCZ

Czech republic

@ivanovs-4
Sergey Ivanov ivanovs-4

Russia, Saratov

@YA2IR
Yasir Alotaibi YA2IR

Riyadh, Saudi Arabia

@Mepy
Qihao LIAN(练 琪灏) Mepy
Nihil
@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@kshxtij
Kshitij Sharma kshxtij
Third year CS & AI Student at the University of Edinburgh

Edinburgh, Scotland

@thelissimus
kei thelissimus
Type Theory, Compiler Engineering, Formal Verification.

Imiron

@nsrknth
nsrknth
@ltouro
Lucas ltouro
CTO at UY3 (financial institution)

UY3 Brazil

@FernandoChu
Fernando Chu FernandoChu
Math, logic and programming, I like them all the same.

Utrecht, Netherlands

@Connor9994
Connor Connor9994
@RiscInside
Iurii Zamiatin RiscInside

Imperial College London London

@NathanielB123
Nathaniel Burke NathanielB123
@lqhuang
Lanqing Huang lqhuang
Be happy!

Nomad Nowhere

@jojoid
JoJo jojoid
@Kirens
Erik Nygren Kirens

Gothenburg, Sweden

@melvinkh
melvinkh
@djtrack16
Darius Liddell djtrack16
Stanford CS. Ruby. Functional Programming Enthusiast. Slow Traveller. Cycling.
@ayanamists
LI CHENXI ayanamists

MeiTuan Beijing, China

@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@PiDelport
Pi Delport PiDelport
Speciesqueer trans wild dog person.

Well-Typed Cape Town, South Africa

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@samyuh
Samuel samyuh
software engineer working with distributed systems and machine learning

@feedzai Porto, Portugal

@Educorreia932
Eduardo Correia Educorreia932
🖥️ ⌨️ ﾍ(´ω ` ●)

@freiheit-com Portugal