Jape is a configurable graphical formal-proof calculator that enables users to define logics, view proofs, and more. It supports sequent calculus, natural deduction, functional programming, and operational semantics.
Turn your favorite photos into greeting cards and personalize many templates with a click of the mouse.
Create your own dynamic desktop wallpaper for your Mac.
This app lets you choose from various wallpapers for your desktop.
View planets and their moon from Solar System on your Mac.
Offshoots is for animating the wallpaper of your desktop with growing trees.
Live Desktop makes the Mac desktop alive with amazing live themes.
Classify desktop pictures whenever you change or get a new wallpaper.
Comments