Kester Tong

KesterTong

I work at @google on machine learning infrastructure and tooling. I'm also interested in programming with dependently types.

Google

New York

Languages

JavaScript36%Idris18%TypeScript18%Python18%Haskell9%

Repos

Stars

140

Forks

Top Language

JavaScript

Loading contributions...

Top Repositories

idris2048

2048 in Idris

124Idris

idris-finite-math

Math related to finite set and vectors, in Idris

Experiments in creating a Jupyter notebook frontend using the React JavaScript library.

4JavaScript

recipe-analyzer

TypeScript Library for analyzing recipes contained in a Google Doc

2TypeScript

Idris-dev

A Dependently Typed Functional Programming Language

0Haskell

Repositories

KesterTong/Idris-devFork

A Dependently Typed Functional Programming Language

Haskell00Updated 11 years ago

KesterTong/idris2048

2048 in Idris

Idris12413Updated 8 years ago

KesterTong/recipe-analyzer

TypeScript Library for analyzing recipes contained in a Google Doc

TypeScript22Updated 4 years ago

KesterTong/reactnb

Experiments in creating a Jupyter notebook frontend using the React JavaScript library.

JavaScript40Updated 11 years ago

KesterTong/idris-finite-math

Math related to finite set and vectors, in Idris

Idris51Updated 11 years ago

KesterTong/ipythonFork

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

Python00Updated 11 years ago

KesterTong/Arduino-IRremoteFork

Infrared remote library for Arduino: send and receive infrared signals with multiple protocols

00Updated 5 years ago

KesterTong/transformFork

Input pipeline framework

Python00Updated 7 years ago

KesterTong/phoshpor-notebook

No description provided.

TypeScript52Updated 10 years ago

KesterTong/pegjsFork

PEG.js: Parser generator for JavaScript

JavaScript00Updated 10 years ago

KesterTong/jupyter-driveFork

Google drive for jupyter notebooks

JavaScript00Updated 11 years ago

KesterTong/dockertest

No description provided.

00Updated 11 years ago

KesterTong/colaboratoryFork

Jupyter CoLaboratory