Directory

Lightweight self-hosted Git forge written in Go with repositories, pull requests, issues, packages and GitHub-compatible Actions, deployable as a single binary

GitHub's CI/CD and automation service that runs YAML-defined workflows on hosted or self-hosted runners in response to repository events

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

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

Apple's beta distribution service for sharing pre-release iOS, macOS, watchOS, tvOS and visionOS builds with internal and external testers through App Store Connect

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