TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools

Rocket Editor

Petri net editor and simulator

Platform for building and using APIs

Write interactive fiction

veraPDF is a file-format validator for the PDF/A archiving standard

Stoplight Studio. Effortless API Design.

GUI for consuming MQTT topics

Editor for Suzumiya Haruhi no Chokuretsu

Pocket Science Lab

Tool for designing and collaborating on API contracts

A desktop client for Apache Kafka

A beautiful and fully-featured desktop client for Apache Kafka

Converts End of Line of all files in a directory

A graphical Program to create and edit AppStream files

A Git client designed for humans

A free EDA package

Desktop client for KurrentDB

Lightweight editor with keyboard-centric minimalistic interface

DWARF debug information viewer

DSO software for Hantek USB digital signal oscilloscopes 6022BE/BL

Git client for power users

Admin and development platform for PostgreSQL

Fast and open source GUI for Valkey

Git GUI client inspired by Magit

Make games, animations, and stories

Level editor for ID Tech based games including Quake series

Capable and Ergonomic Go IDE

Program your thermal printer

Offline animator for ns-3