CafeOBJ is a new generation algebraic specification and programming language. As a direct successor of OBJ, it inherits all its features(flexible mix-fix syntax, powerful typing system with sub-types, and sophisticated module composition system featuring various kinds of imports, parameterised modules, views for instantiating the parameters, module expressions, etc.) but it also implements new paradigms such as rewriting logic and hidden algebra, as well as their combination.
CafeOBJ has state-of-art rigorous logical semantics based on institutions. The CafeOBJ cube shows the structure of the various logics underlying the combination of the various paradigms implemented by the language.
The execution of CafeOBJ in compiled mode is based on a rewriting machine that gives CafeOBJ the same efficiency as modern functional programming systems.
This WiKi provides informations about various development works of the system (CafeOBJ interpreter) and its documents. Currently, you can download source files of the interpreter provided as git repository, which means you can clone it. But you can not push it back. This restriction would be removed in the future, but not any time soon. Other resources are planned to be published.
How to obtain sources
$ git clone https://bitbucket.org/tswd/cafeobj.git