MacLogic is, to my mind, the best computer program in existence for teaching and learning how to do natural deduction proofs (in a variety of logics). The program was originally written in MacProlog for Classic Macintosh operating systems by Roy Dyckhoff et al. at St Andrews.
Vector Collection is a huge collection of vector based images.
With this app you can create and send questions to the devices in the audience.
Complete art management solution for Mac, Windows and IOS with stock control, invoicing, client mailing lists, image management and report printing.
Quicklie is a simple application that allows you to print Instagram shots.
skadi is an open source lightweight image viewer for Mac OS X.
Easy Winmail Reader helps you extract attachment from winmail.dat.
Comments