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.
We don't have a description for the Mavis Beacon 18 app yet.
Edits audio files with the option for CD mastering.
CoverScout fills the gray gaps that iTunes leaves behind!
Developed by com.rhythmiccanvas.xdroplet
This program lets you convert videos to various media formats.
Rips media from DVD and creates disk copies.
Comments