MacOS software

Ollama

Get up and running with large language models locally

Changes

Git GUI

Araxis Merge

Two and three-way file comparison, merging and folder synchronisation

Emdash

UI for running multiple coding agents in parallel

Coq Platform

Formal proof management system

Copilot for Xcode

Xcode extension for GitHub Copilot

electerm

Terminal/ssh/sftp/telnet/serialport/RDP/VNC/Spice/ftp client

ElegooSlicer

Open-source slicer for FDM 3D printers

Electron Fiddle

Create and play with small Electron experiments

elemental

Native XML Database with XQuery and XSLT

Contraste

Check accessibility of text against Web Content Accessibility Guidelines

Context

MCP client and inspector

Connect IQ SDK Manager

Manage SDKs and download device definitions for Garmin Connect IQ development

Garmin Connect IQ SDK

Build wearable experiences for Garmin devices and sensors with ConnectIQ SDK

Conar

AI-powered database and data management tool

Commander

AI agent operator

Datasette

Desktop application that wraps Datasette

DataGrip

Databases and SQL IDE

Command Pad

Start and stop command-line tools and monitor the output

EEZ Studio

Visual tool for GUI development and T&M automation

Elasticvue

Elasticsearch GUI

eGovFrameDev

Open-source framework by South Korea for web-based public service development

Codexia

GUI and toolkit for Codex CLI and Claude Code

CodeBuddy CN

AI-powered adaptive IDE (Chinese version)

Dash

API documentation browser and code snippet manager

Cursor

Write, edit, and chat about your code with AI

Cutter

Reverse engineering platform powered by Rizin

Dataiku Data Science Studio

Quick experimentation and operationalization for machine learning at scale