Showing page 1 of 1.
Rapid applications development tool and libraries for FPC9,506 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.46 weekly downloads
Eclipse integration for Isabelle proof assistant2 weekly downloads