Showing page 1 of 1.
Rapid applications development tool and libraries for FPC9,674 weekly downloads
JUDO is a Java IDE for children and beginning programmers. JUDO is designed to be an educational tool to teach programming concepts and to spark excitement and interest in programming.41 weekly downloads
Eclipse integration for Isabelle proof assistant3 weekly downloads