Block or report user

Report or block stonebuddha

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. uthread

    User-Level Thread Library

    C 4 1

  2. eopl

    Essentials of Programming Languages, with OCaml implementations & Coq proofs

    OCaml 4

  3. YAL

    Yet Another Language

    OCaml 1

  4. mini-fol

    OCaml 1

  5. stonebuddha.github.io

    my personal blog based on hexo

    HTML

  6. JStype

    A Static Type Analyser for JavaScript with Tunable Sensitivity

    JavaScript 2

40 contributions in the last year

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

Contribution activity

August 2018

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