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
- 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.