Skip to content
View codeck's full-sized avatar

Block or report codeck

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
@pavpanchekha
Pavel Panchekha pavpanchekha
University of Utah professor building new web browsers using programming languages techniques.

University of Utah School of Computing Salt Lake City, UT

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

(open to employment) San Andreas, California, USA

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@DogLooksGood
tianshu DogLooksGood
A naive programmer.
@scottcgi
scott.cgi scottcgi
Game Engine Developer & Independent Game / App Maker

China

@jeffreykegler
Jeffrey Kegler jeffreykegler
I'm a published mathematician who has spent the last decade working full-time on Earley parsing. The Marpa parser is the result of this work,

Lee MA

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@michael-emmi
Michael Emmi michael-emmi

Amazon Web Services New York

@guidosalva
guidosalva
Associate Professor, University of St.Gallen. Technical University of Darmstadt. Programming languages and software engineering.
@mwhittaker
Michael Whittaker mwhittaker
Software engineer at Google working on @ServiceWeaver.

@google Sunnyvale, CA

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@WolframKahl
Wolfram Kahl WolframKahl

McMaster University Hamilton, Ontario, Canada

@alhassy
Musa Al-hassy alhassy
Engineering Manager & JS Team Lead ;; Programming language enthusiast ;; Emacs & Org-mode Promoter ;; Computing Science PhD ;; Previously a Sessional Lecturer

Canada

@leithaus
Lucius Meredith leithaus
Inventor of the rho-calculus, namespace logic, founder of RChain Cooperative, CEO of F1R3FLY.io

F1R3FLY.io Seattle

@pchiusano
Paul Chiusano pchiusano

Unison Computing, a public benefit corp New Orleans, LA

@Kraks
Guannan Wei Kraks
Postdoc (PL/Compilers)

INRIA/ENS; Tufts

@huan
Huan Li huan
🤖 Chatbot Architect・💖 LLM Code Generation Enthusiast・⭐️ GitHub Star・🌐 Microsoft RD & AI MVP・🦾 Google ML GDE・🚀 YC W19・🤠 Serial Entrepreneur・🔥 Burner

@Chatie @PreAngel Silicon Valley

@jdegoes
John A. De Goes jdegoes

Ziverge Inc. Maryland, USA

@djspiewak
Daniel Spiewak djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.

@nvidia Chicago, IL

@madeye
Max Lv madeye
Manager of Architecture at NVIDIA

NVIDIA Shanghai, China

@TiarkRompf
Tiark Rompf TiarkRompf

Faculty at Purdue University

@janx
busyforking janx

@cryptape @nervosnetwork The Third Continent

@Atry
Yang, Bo Atry

ProtonBase California, United States

@dong77
Daniel Wang dong77
Creator of Loopring Protocol Founder of Loopring Foundation

Loopring Technology Shanghai China