Hobby programming language for application development
Erlava is a hobby programming language focusing on building applications fast and easily while still intergrating with the JVM. Erlava aims to provide developers with a versatile and efficient tool for crafting high-quality software.
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.