Skip to content
Block or report user

Report or block KesterTong

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Pro
  • Google
  • New York

Popular repositories

  1. idris2048

    2048 in Idris

    Idris 119 11

  2. idris-finite-math

    Math related to finite set and vectors, in Idris

    Idris 5 1

  3. phoshpor-notebook

    TypeScript 5 2

  4. reactnb

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

    JavaScript 3

  5. Idris-dev

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell 1

  6. ipython

    Forked from ipython/ipython

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

    Python

10 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

May 2019

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.