Skip to content
View seckcoder's full-sized avatar
54 followers · 60 following
  • Blablabla
  • San Francisco

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report seckcoder

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
@JingyiHU
JingyiHU
@parasitew
Tong Wei parasitew
@aphyr
Kyle Kingsbury aphyr

@jepsen-io USA

@siddontang
siddontang siddontang

PingCAP SunnyVale

@0xAX
Alex Kuleshov 0xAX
Writing some code at @travelping.

@travelping Kazakhstan, Astana

@dybvig
R. Kent Dybvig dybvig
@stepchowfun
Stephan Boyer stepchowfun
real numbers are horrifying

Notion Labs, Inc. San Francisco, CA

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@begriffs
Joe Nelson begriffs
Always learning.

Minneapolis

@keean
Keean Schupke keean

Fry-IT Ltd.

@tanakh
Hideyuki Tanaka tanakh

Tokyo

@rrnewton
Ryan Newton rrnewton
Computer Scientist. Containers, Compilers, Deterministic Parallelism.

Meta, Purdue University, Indiana University IN

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@csabahruska
Csaba Hruska csabahruska
I'm a software engineer and I'm keen on doing research and development. I work on compilers and static analyses. I like Haskell, Idris2 and machine code.

London

@elliottt
Trevor Elliott elliottt

Portland, OR

@pchickey
Pat Hickey pchickey
maintainer for Wasmtime, co-chair of WASI, at-large director of Bytecode Alliance. Independent consultant.

Portland, OR

@travitch
Tristan Ravitch travitch

AWS Denver, CO

@bos
Bryan O'Sullivan bos
@ocharles
Ollie Charles ocharles

CircuitHub London

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

Positron AI Farmington Hills, MI

@chris-taylor
Chris Taylor chris-taylor

London

@Mokosha
Pavel Krajcevski Mokosha

San Francisco, CA

@ztellman
Zach Tellman ztellman

San Francisco, CA

@xudifsd
Di Xu xudifsd

Bellevue

@ibdknox
Chris Granger ibdknox
@yminsky
Yaron Minsky yminsky

Jane Street New York, USA

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@simonmar
Simon Marlow simonmar

Facebook UK Ltd. Cambridge, UK

@ezyang
Edward Z. Yang ezyang

New York, NY

@soegaard
Jens Axel Søgaard soegaard
Check out Racket news/articles/blogs at Racket Stories.

Denmark

@asaluja
Avneesh Saluja asaluja
@tzakian
Tim Zakian tzakian
PL wonk

@MystenLabs Seattle

@professor
Todd Sedano professor

Carnegie Mellon University

@be5invis
Belleve be5invis
Maker of Text Boxes & Low-level Text Stack
@yinyanghu
Jian Li yinyanghu

Google Waterloo, Ontario, Canada

@tomykaira
tomykaira tomykaira
@stephentu
Stephen Tu stephentu

New York, NY

@disnet
Tim Disney disnet

@shapesecurity

@tomtung
tomtung

nyc

@arcfide
Aaron W. Hsu arcfide

Indiana University

@pgbovine
pgbovine
@eholk
Eric Holk eholk

@microsoft Fremont, CA

@samth
Sam Tobin-Hochstadt samth
I'm an associate professor at Indiana University, and a core developer of @racket.

PLT @ Indiana University Bloomington, IN

@jeapostrophe
Jay McCarthy jeapostrophe

@reach-sh @racket Provo, UT

@taustin
Thomas H. Austin taustin

San Jose, California

@ilya-klyuchnikov
ilya-klyuchnikov

@facebook London

@lkuper
Lindsey Kuper lkuper

UC Santa Cruz

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@jpolitz
Joe Politz jpolitz
Most of my Github activity is related to my courses (see my website for details), the Pyret programming language, and various research efforts.

UC San Diego CA