MacOS-Software

Coq Platform

Formales Proof Management System

Copilot for Xcode

Xcode-Erweiterung für GitHub Copilot

ElegooSlicer

Open-Source-Slicer für FDM 3D-Drucker

Electron Fiddle

Erstellen und Spielen mit kleinen Elektronenexperimenten

elemental

Native XML-Datenbank mit XQuery und XSLT

Contraste

Überprüfen Sie die Zugänglichkeit von Text anhand der Richtlinien für die Zugänglichkeit von Webinhalten

Context

MCP Client und Inspektor

Connect IQ SDK Manager

Verwalten von SDKs und Herunterladen von Gerätedefinitionen für Garmin Connect IQ Entwicklung

Garmin Connect IQ SDK

Erstellen Sie tragbare Erlebnisse für Garmin-Geräte und Sensoren mit ConnectIQ SDK

Conar

KI-gestütztes Datenbank- und Datenmanagement-Tool

Commander

AI-Agentenbetreiber

Datasette

Desktop-Anwendung, die Datasette umhüllt

DataGrip

Datenbanken und SQL IDE

Command Pad

Starten und Stoppen von Kommandozeilen-Tools und Überwachen der Ausgabe

EEZ Studio

Visuelles Tool für GUI-Entwicklung und T&M-Automatisierung

Elasticvue

Elasticsearch GUI

Dash

API Dokumentation Browser und Code Snippet Manager

Cutter

Reverse Engineering Plattform powered by Rizin

Dataiku Data Science Studio

Schnelles Experimentieren und Operationalisierung für maschinelles Lernen in großem Maßstab

Cura LulzBot Edition

3D-Drucklösung

Fork

GIT-Kunden

Fork (Dev)

Git-Client

Menial Base

App zum Erstellen, Entwerfen, Bearbeiten und Durchsuchen von SQLite 3-Datenbankdateien