Pieces of software developed by our group or its members:

  • Prolog KABA
  • Wnn
  • Japanese input system in client and server style
  • GMW
  • Object oriented multi window system
  • KCL
  • Kyoto Common Lisp
  • JMMM
  • Japanised world wide web browser MMM [ Further Info. ]
  • Objective Label
  • An extension to Objective Caml allowing the use of labeled and optional arguments, and also polymorphic variants. Comes with LablTk, a labelized interface to Tcl/Tk, and LablBrowser, a source and compiled interface browser. [ Further Info. ]
Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.