Block or report user

Organizations

@StanfordHCI @Proxino @CityOfZion

Popular repositories

  1. TypedJS

    Lightweight program specifications for testing JavaScript

    JavaScript 232 11

  2. iris-agent

    A extensible conversational agent for data science tasks

    TeX 95 11

  3. empath-client

    analyze text with empath

    Python 85 14

  4. Gajure

    A framework for implementing genetic algorithms in Clojure.

    Clojure 62 8

  5. ProofFrontend

    JavaScript 12 4

  6. Proof-Search

    Haskell 10 3

815 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri

Contribution activity First issue First repository Joined GitHub

May 2018

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