Browse Casks

Reference manager

WebRadio listener/recorder software

XML editor

Physics sandbox game

ZFS driver and utilities

Programming language for mathematical, statistical and logical analysis of data

Notes organiser

Platform for 3D content

Generic proof assistant

Access mounted and unmounted volumes from the menubar

Lightweight automation and productivity app

Privacy enhanced BitTorrent client with P2P content discovery

Tools for the Mercurial distributed revision control system

File transfer client

Plotting software

Native XML database and application platform

Open-source screenshot utility

Finds duplicate files in a computer system

Multiplayer & singleplayer first person shooter

Connect to enterprise databases using common desktop applications

Flip clock screensaver

Data backup and storage service

Professional SSH client and terminal emulator

GUI for the Neovim text editor