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.
.webp)
.webp){kind=icon}
A free program for Mac, by Pocket Bits LLC.
MagicKeyboard turns a MagicTrackpad into a virtual keyboard or number pad.
A free Mac app that allows users to switch to AUS to get Sierra updates.
ShortcutDetective detects which app receives a keyboard shortcut, helping to identify why shortcuts aren't registering in some apps.
Mac app that quickly generates file hashes using MD4, MD5, SHA1, and SHA256 algorithms.
Window manager for OS X with features to shrink, maximize, and open windows at login.
Assign custom actions to apps, incl.
Comments