Prover9-Mace4-v05B is an automated theorem prover and model searcher for first-order and equational logic. It is available for different operating systems, including Mac.
Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo
A tiny and easy-to-use application intended to convert video files to GIF.
A tool for tagging your mp4/m4v files with metadata.
This app helps you convert videos and songs to M4A format.
Create a powerful, portable, and flexible effect rack using VST or AU plugins.
The app is designed to help you split large audio files into smaller pieces.
Simple and easy-to-use tool for creating ringtones and alert tones from any music on your Mac.
Comments