Block or report user

Organizations

@dreal

Popular repositories

  1. grapher.ml

    dump cross reference information from cmt files for OCaml

    OCaml 2

  2. simple-bmc

    Simple formula compiler

    OCaml 1

  3. prelude

    Forked from bbatsov/prelude

    Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.

    Emacs Lisp

  4. dotfiles

    Haskell

  5. ocaml

    Forked from ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml

  6. ChezScheme

    Forked from cisco/ChezScheme

    Chez Scheme

    Scheme

629 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

72 contributions in private repositories Feb 1 – Feb 19

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