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

Microsoft-owned code hosting platform for Git repositories with pull requests, issues, Actions CI/CD, package registry, Copilot and the largest open-source community

Open-core DevSecOps platform combining Git hosting, merge requests, integrated CI/CD pipelines, registry and security scanning, available as SaaS or self-managed

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

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