Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View wenkokke's full-sized avatar
482 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.

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
@yasir2000
Yasir Karam yasir2000
Researcher in Cloud Computing

Abu Dhabi, UAE

@Joejiong
joejiong Joejiong
From China, Grad from W&M, NUS, interested in Arch/MLcompiler/HPC, & I'm very into math-automatization; now a risc-v believer.

Ex-Baidu/Ex-intel Programmer Singapore/Shanghai/Edinburgh

@alxbnct
Yosef Weissmann alxbnct
@KHemanthRaju
Koneti Hemanth Raju KHemanthRaju
Looking for Spring 2026 Internships || MSCS @ASU || Ex-SDE @oracle

Arizona State University Tempe, Arizona, United States

@soumyargithub
Soumya Ranjan Behera soumyargithub
Tech enthusiast | Curious learner Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.

Bengaluru, India

@smoonthsky
smoonthsky smoonthsky
robot sdv

hsq metaverse

@noveyplush
Liam noveyplush
I'm a complete mess.
@ghrcod
ghrcod ghrcod
@songever
Wensong Trivial songever

Jinan University GuangZhou, China

@shusoyo
suspen shusoyo
@zlonast
Ilya Baryshnikov zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
@motanelson
nelson jr mota motanelson
Can find me on discord chanel cosmos os

https://youtube.com/@nelsonmota-s4u Portugal, lisbon

@Ernous
Ernela Ernous
16 y.o NeoMovies developer

@Neo-Open-Source

@matozoid
Danny van Bruggen matozoid

@laamella-gad Utrecht, The Netherlands

@ylzshaha
ylzs ylzshaha
binary security learner
@vu3jej
vu3jej
@marinelli
Giorgio Marinelli marinelli

@scrive Italy

@KovalevDima
Dmitry Kovalev KovalevDima
DBMS and formal verification enthusiast
@SAdams601
Stephen Adams SAdams601
I'm an Dutch-American functional programmer. I have a PhD from the University of Kent on Data Driven Refactorings for Haskell.

the Netherlands

@eriksvedang
Erik Svedäng eriksvedang
Game designer, programmer, artist.

Sweden

@damhiya
Soonwon Moon damhiya

Seoul, Republic of Korea

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@CAHollenbeck
CAHollenbeck
@levYatsishin
Leo Yatsishin levYatsishin
@wasabi315
Satoshi Takimoto wasabi315
Functional programming, theorem proving

Japan

@FixpointOfBeing
FixpointOfBeing FixpointOfBeing
@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

@axiomhq

@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
Computer Science student. Researcher

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: [email protected]

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
Full-Stack (MERN) by day, Ethical Hacker fan-fiction writer by night. All my personal projects are open-source therapy sessions. Come explore the chaos!

Not yet Jaipur, rajasthan

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG 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
@j0shua-daniel
Joshua Daniel j0shua-daniel
Creating a blazing fast VM manager, that just works!

Reading, Berkshire

@SeshatCZ
SeshatCZ

Czech republic