Directory

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

Open-source vector-tile map renderers for web (GL JS) and native platforms, forked from Mapbox GL and governed by a community organisation

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

Python static site generator for project documentation that builds a navigable site from Markdown files and a single YAML configuration

Modal, terminal-based text editor forked from Vim with Lua configuration, a built-in LSP client and Tree-sitter parsing

Vendor-neutral, machine-readable standard for describing HTTP APIs in JSON or YAML, maintained by the OpenAPI Initiative under the Linux Foundation

Posit's multi-language data-science IDE built on Code OSS, with first-class R and Python consoles, variables and plots panes, under the Elastic License 2.0

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

Opinionated code formatter for JavaScript, TypeScript, CSS, HTML, Markdown, YAML and more that reprints code from its syntax tree with few options

TypeScript ORM with a declarative schema language, generated type-safe client and migration tooling, from the company that also offers Prisma Postgres and related hosted services

Python IDE from JetBrains with deep static analysis, refactoring, debugging, scientific tooling and a unified free core with a paid Pro tier

Python data-validation library using type hints to parse, validate and serialize models, with a Rust core; the schema layer behind FastAPI and many LLM SDKs

Python testing framework with plain assert statements, fixtures, parametrization and a large plugin ecosystem, the de facto standard for Python test suites

Language and environment for statistical computing and graphics, with the CRAN package archive and a strong base in academic statistics and econometrics

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

Compiled systems programming language with ownership-based memory safety, the Cargo build tool and no garbage collector

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

Collection of accessible React components built on Radix primitives and Tailwind CSS that are copied into a project's source rather than installed as a dependency

Python documentation generator using reStructuredText or MyST Markdown with cross-referencing, API autodoc and output to HTML, PDF via LaTeX, ePub and man pages

Cross-shell command prompt written in Rust that shows Git status, language versions, cloud context and more from one TOML configuration

Apple's declarative UI framework for building interfaces in Swift that run across iOS, iPadOS, macOS, watchOS, tvOS and visionOS

Utility-first CSS framework from Tailwind Labs that styles markup with composable class names and generates only the CSS a project uses

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

Terminal multiplexer that keeps shell sessions alive on a server, splits a terminal into windows and panes, and lets sessions be detached and reattached