Programas para MacOS

Coq Platform

Sistema de gestión de pruebas formales

Copilot for Xcode

Extensión de código X para GitHub Copilot

ElegooSlicer

Rebanador de código abierto para impresoras 3D FDM

Electron Fiddle

Crear y jugar con pequeños experimentos de electrones

elemental

Base de datos XML nativa con XQuery y XSLT

Contraste

Consulta la accesibilidad del texto contra las Directrices de Accesibilidad del Contenido Web

Context

MCP client and inspector

Connect IQ SDK Manager

Administrar SDKs y descargar definiciones de dispositivos para el desarrollo de Garmin Connect IQ

Garmin Connect IQ SDK

Construir experiencias utilizables para dispositivos Garmin y sensores con ConnectIQ SDK

Conar

Base de datos y herramienta de gestión de datos impulsada por AI

Commander

Operador de agentes de inteligencia

Datasette

Aplicación de escritorio que envuelve Datasette

DataGrip

Bases de datos e IDE SQL

Command Pad

Iniciar y detener herramientas de línea de comandos y monitorear la salida

EEZ Studio

Herramienta visual para el desarrollo de la interfaz gráfica y automatización de la tecnología

Elasticvue

Elasticsearch GUI

Dash

Navegador de documentación de API y gestor de código

Cutter

Plataforma de ingeniería inversa impulsada por Rizin

Dataiku Data Science Studio

Experimentación y puesta en marcha rápidas para el aprendizaje automático a escala

Cura LulzBot Edition

Solución de impresión 3D

Fork

GIT client

Fork (Dev)

Git client

Menial Base

Aplicación para crear, diseñar, editar y navegar archivos de bases de datos SQLite 3