Alloy4 is a software program that provides improvements in robustness, performance, and usability. The new version of Alloy Analyzer is smaller and faster than the previous version. It offers features such as instantaneous compilation, faster analysis, and SAT-based model finder Kodkod. Categories include: Automation, Backup & Restore, Battery Utilities, Benchmark, Calculators, CD & DVD Software, Clipboard Tools, Dashboard Widgets, Device Assistants, File Compression, File Managers, Fonts, Network, Plugins & Addons, Remote Computing, System Optimization, Virtualization, System Utilities.
Wineskin Winery creates Mac OS X ports/wrappers for Windows programs/games, with an easy-to-use GUI, integrated Wine, X11 and an installer.