Directory

Community-governed self-hosted Git forge forked from Gitea, stewarded by Codeberg e.V., with pull requests, issues, packages and Forgejo Actions

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

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

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

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