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