CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
An algorithmic music composition system
Common Music (CM) is a real-time music composition system implemented in JUCE/C++ and Scheme. It generates musical output via MIDI, OSC, CLM, FOMUS and CSOUND. Its user application is called GRACE (Graphical Real-time Algorithmic Composition Environment)
Real-time audio synthesis engine and music programming language
N.B. SuperCollider is now hosted at GitHub, and the most recent versions can be downloaded from there. http://supercollider.github.io A real time audio synthesis engine, and an object-oriented programming language specialised for music. SuperCollider was created in 1996 by James McCartney, now (since version 3) released as free software.
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....
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, ...