8000 wenkokke (Wen Kokke) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View wenkokke's full-sized avatar
459 followers · 123 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
@glasgowhackerspace
Glasgow Hackerspace glasgowhackerspace
@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@Icelandjack
Icelandjack
@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@msp-strath
MSP group msp-strath

Glasgow, Scotland

@electronicarts
Electronic Arts electronicarts
Electronic Arts, inspiring a global community of players to explore new ways to play every day

Worldwide

@typst-community
Typst Community typst-community
A community-driven organization for sustaining software related to the Typst ecosystem.
@Bodigrim
ˌbodʲɪˈɡrʲim Bodigrim
Director at Haskell Foundation

Odessa, Ukraine

@compilers-course-materials
compilers-course-materials
Public mirror of course materials for my compilers course. Please do not make public forks with assignment solutions.
@travisbrown
Travis Brown travisbrown
Functional programmer mostly.
@zkat
Kat Marchán zkat
too tired

TBA stolen Chochenyo Ohlone land

@inkandswitch
Ink & Switch inkandswitch
@Mike-Honey
Mike Honey Mike-Honey
Data Visualization and Data Integration specialist.

Manga Solutions Melbourne, Australia

@sliminality
Slim sliminality
father | husband | christian | pbcopy

@NotionHQ San Francisco

@overcastfm
overcastfm
@fangyi-zhou
Fangyi Zhou fangyi-zhou
Software Engineer | Programming Language Researcher en.pronouns.page/she&they

London, UK

@szumixie
Szumi Xie szumixie
(x : Haskell) → Agda x
@hkuplg
HKU Programming Languages Group hkuplg

Hong Kong

@LambdaDelta-Lab
LambdaDelta Lab LambdaDelta-Lab
Formal Language Research Lab: Formal Methods for Natural, Logic and Programming Languages

Brazil

@HuStmpHrrr
Jason Hu HuStmpHrrr
Applied scientist at AWS; PhD from McGill University; MMath from University of Waterloo; https://gitlab.com/JasonHuZS

AWS Seattle, WA

@wits-workshop
wits-workshop
@aarneranta
Aarne Ranta aarneranta
Professor of Computer Science, research on grammar technology (GF and BNFC), teaching also in basic programming to large groups.

University of Gothenburg Gothenburg, Sweden

@agda-web
Agda Web agda-web
Bring Agda the interactive proof assistant to the web.

Taiwan

@mollyim
Molly mollyim
Molly Instant Messenger
@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

@SquidDev
Jonathan Coates SquidDev
Cephalopod Developer

United Kingdom

@andreas-abel
Andreas Abel andreas-abel
@andygill
Andy Gill andygill

@Kodamai Kansas

@simonmar
Simon Marlow simonmar

Facebook UK Ltd. Cambridge, UK

@lix-project
Lix Project lix-project
A delicious package manager with sprinkles on top.
@ghc
Glasgow Haskell Compiler ghc
Automated mirror of the Glasgow Haskell Compiler
@citation-style-language
Citation Style Language citation-style-language
@bugarela
Gabriela Moreira bugarela
Research Engineer at @informalsystems working on Quint

@informalsystems Joinville, SC - Brazil

@inpla
Inpla inpla
Interaction nets as a programming language
@symbolica-ai
Symbolica symbolica-ai
@Little-Languages
ℓittle Languages Little-Languages
A community that's building little languages that are composable and multi-modal.
@JamesOwers
James Owers JamesOwers
At the Centre for Doctoral Training in Data Science (@cdt-data-science) at the University of Edinburgh. July 2016 - Working on Music and Neural Networks

University of Edinburgh @cdt-data-science & @BayesWatch Edinburgh

@fmaguire
Finlay Maguire fmaguire
Assistant Professor (Computer Science & Epidemiology). Working on infectious disease genomic epidemiology & data-driven solutions to social crises

Community Health & Epidemiology / Computer Science, Dalhousie University Halifax, Nova Scotia, Canada

@athas
Troels Henriksen athas

DIKU Copenhagen, Denmark

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@effectfully
effectfully
@talonvoice
Talon talonvoice
Next-generation voice control and alternate input.
@OrionReed
Orion Reed OrionReed
Seeking to catalyze discontent with the state of computing. Researcher at @BlockScience and @libcomp working to make computing more malleable and participatory.

Somewhere in the Milky Way

@nguyentito
Nguyễn Lê Thành Dũng nguyentito
https://sfconservancy.org/GiveUpGitHub/
@edwinb
Edwin Brady edwinb
@bobatkey
Bob Atkey bobatkey

Edinburgh, UK

@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@asajeffrey
Alan Jeffrey asajeffrey
Alan passed away in July. Software Engineer at Roblox, focusing on the Luau scripting language.

Roblox Chicago, IL

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@gergoerdi
Gergő Érdi gergoerdi
Finite tape Turing machine
0