OOHASHI Daichi

dc-machine. a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.

Gauche-process-notation. Scheme

coq-to-lisp. Coq to Emacs Lisp / Common Lisp Extraction

paradoc. A Scribble to HTML/LaTeX converter.

ocaml-r5rsds. An OCaml implementation of R5RS denotational semantics.

optics.ml. an experimental optic library for OCaml

simple-sub.ml. OCaml

viper-lisp. Minor-mode for editing LISP in viper-mode as in the traditional vi.

sexpr-parser. A parser for subset of R7RS Scheme datum

gauche-mode. An Emacs major mode for Gauche Scheme

Gauche-pxeger. regexp->string-generator

list-sort. a fast destructive stable merge sort implementation for Gauche Scheme interpreter.

Gauche-pp. A pretty-printer for Gauche Scheme