Skip to content


  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. An implementation of Angluin's automata learning method

    Jupyter Notebook 4 2

  2. Emacs major mode for the exercise system of 「プログラミング言語の基礎概念」 written by Atsushi Igarashi

    Emacs Lisp 1

513 contributions in the last year

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

Contribution activity

November 2020

64 contributions in private repositories Nov 1 – Nov 19

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

You can’t perform that action at this time.