Skip to content


  • Arctic Code Vault Contributor


  1. A statically-typed, functional typesetting system

    OCaml 757 58

  2. An implementation of MacroML [Ganz, Sabry & Taha 2001]

    OCaml 23 1

  3. [WIP] A session-typed Erlang

    OCaml 27 1

  4. A SATySFi class file for writing CS master thesis at The University of Tokyo

    Makefile 17 1

  5. An Emacs major mode for SATySFi

    Emacs Lisp 12 2

  6. Algebraic protocol buffers

    OCaml 4

1,030 contributions in the last year

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

Contribution activity

August 2020

1 contribution in private repositories Aug 2

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

You can’t perform that action at this time.