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

Circuit layout design tool supporting PCB, vero-board, point-to-point, perf-board and guitar wiring diagrams

Organize and manage code snippets

Universal automation framework

Fast and open source GUI for Valkey

Examine GStreamer debug log information

Easily create 2D and 3D games

Send HTTP requests to API endpoints

A cross-platform test tool for serial port, Bluetooth, TCP and UDP

Fast, lightweight 3D engine for the web

.gitignore reference for various languages

Analyze D-Bus connections

The comfortable Git UI

Lightweight Lua-based IDE for Lua

Manage your git repositories

A free EDA package

Version control for creative work

Advanced D-Bus Debugger

Converts End of Line of all files in a directory

Manage Podman and other container engines from a single UI

Open source and cross-platform text editor

Pick a color from the screen

DWARF debug information viewer

Developer GUI for Redis, by Redis

A visualizer for Valgrind Massif data files

Python Needle Editor for openQA

A file and folder comparison and merge tool

Desktop client for KurrentDB

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

Convert components for KiCad