Lightweight Java IDE with syntax highlighting and convenient features.
BitCode is a lightweight and versatile Integrated Development Environment (IDE) designed for Java programming. It offers a user-friendly interface with features tailored to enhance your coding experience.
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.