SHOP2 is a domain-independent automated-planning system based on ordered task decomposition, a type of Hierarchical Task Network (HTN) planning. Development is no longer done on sf; only file hosting now. WARNING: Java code here is not maintained....
Garnet Common Lisp GUI Library
Garnet is a Graphical Toolkit for Lisp, which offers many advanced features. It was originally developed by Carnegie Mellon's User Interface Software Group and is one of the most feature rich interface toolkits available for lisp. The project has been dormant but some of us are trying to update it. To get the latest stable code, use the subversion repository: svn checkout svn://svn.code.sf.net/p/garnetlisp/svn/trunk garnetlisp-svn
This project provides a tool for representing knowledge about business processes in two dimensions – parts and types. It is part of the MIT Open Process Handbook Initiative.
JazzScheme is a programming language based on Scheme. It is also a full featured development platform that has been used for more than 10 years to develop high-quality commercial applications.
Open Source software that I have developed or maintained.
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...