Home Original page

th0114nd - Overview

@th0114nd

th0114nd

Follow

View th0114nd's full-sized avatar

Tim Holland th0114nd

Block or report th0114nd

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Popular repositories Loading

  1. socialmath socialmath Public

    A project repository for CS145 for a webapp displaying the network structure of proofs.

    TeX 2 2

  2. presto-go-client presto-go-client Public

    Forked from prestodb/presto-go-client

    A Presto client for the Go programming language.

    Go 1

  3. Red-October Red-October Public

    Forked from Caltech-Robotics-2012/Red-October

    Caltech Robotics 2012 Code Repo

    C

  4. hfhom hfhom Public

    A module to compute Heergaard Floer correction terms for some classes of manifolds, as a SURF 2013 project.

    Python 1

  5. euler euler Public

    Haskell

  6. rwh rwh Public

    Haskell