Advanced music creation and audio production tool.
Helps your visually organize your line of thoughts.
A tool for proactive thinkers to produce working models of your reasoning.
Logic Autosave autosaves Logic Pro projects at specified intervals.
Simple GUI for Otter (an automated deduction system).
