Showing page 1 of 1.
Rapid applications development tool and libraries for FPC12,059 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.51 weekly downloads
Eclipse integration for Isabelle proof assistant103 weekly downloads