M is a capability-based language in the Java framework for distributed, secure, persistent, extensible virtual worlds. The project also supports JCC, a Java-based hybrid constraint programming language. This project is also being used for work on TCC and its extensions.