Directory

Open-source API client that runs in the browser or as a desktop app, supports REST, GraphQL and realtime protocols, and can be self-hosted for teams

Open-source functional programming language and interactive theorem prover with dependent types, the Mathlib mathematics library and VS Code tooling, stewarded by the Lean FRO

JavaScript library that renders flowcharts, sequence, class, state, ER, Gantt and other diagrams from a Markdown-like text syntax

Commercial API platform for designing, testing, documenting and monitoring HTTP and other APIs through a desktop and web client with cloud-synced workspaces

Posit's open-source integrated development environment for R, with console, editor, plots, environment panes, Quarto/R Markdown authoring and Python via reticulate

Static analysis engine that matches code patterns written in the target language's own syntax, with an LGPL community edition and a commercial AppSec platform

Free, extensible code editor from Microsoft with a large extension marketplace, integrated terminal, debugging, remote development and built-in AI assistance