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.